4.0.0 org.eclipse.webtools.dali org.eclipse.webtools.dali 3.4.0-SNAPSHOT ../../../ org.eclipse.webtools.dali org.eclipse.jpt.jpadiagrameditor.doc.user 1.2.101-SNAPSHOT eclipse-plugin JPA Diagram Editor Branding Plug-in