/jpa_diagram_editor/plugins/
../
org.eclipse.jpt.jpadiagrameditor.branding
org.eclipse.jpt.jpadiagrameditor.doc.user
org.eclipse.jpt.jpadiagrameditor.ui