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