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