/jpa/plugins/org.eclipse.jpt.core/.settings/