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