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