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