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