xref: /AOO41X/test/testgui/.settings/org.eclipse.jdt.core.prefs (revision a9b175eb0d83fdb5b24e285c4bc73d1f76d1c116)