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