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