[jabaws.git] / .settings / org.eclipse.jdt.ui.prefs

eclipse.preferences.version=1
formatter_profile=_my
formatter_settings_version=12