spring-tools/eclipse-extensions/org.springframework.ide.eclipse.imports/.settings/org.eclipse.jdt.ui.prefs

#Sat Mar 10 23:56:31 CET 2007
eclipse.preferences.version=1
internal.default.compliance=default