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