xref: /AOO42X/test/testgui/.settings/org.eclipse.jdt.core.prefs (revision c4dc0a1aba8e7aaa49e08ea6b3b605484dad910b)