xref: /trunk/test/testgui/.settings/org.eclipse.jdt.core.prefs (revision 2c87a70fbd8c1d397ec75fc2b93755b01c30acf4)