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