/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.ui/src/org/eclipse/jpt/jpadiagrameditor/ui/internal/preferences/

• ../
• JPAEditorPreferenceInitializer.java
• JPAEditorPreferencesPage.java