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