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