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