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