org.eclipse.jdt.core/.settings
