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