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