/jpa_diagram_editor/plugins/

• ../
• org.eclipse.jpt.jpadiagrameditor.branding
• org.eclipse.jpt.jpadiagrameditor.doc.user
• org.eclipse.jpt.jpadiagrameditor.ui