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