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