WALA/com.ibm.wala.shrike/.settings/org.eclipse.jdt.ui.prefs

#Thu Jan 03 11:24:41 EST 2008
eclipse.preferences.version=1
formatter_profile=_WALA
formatter_settings_version=11
instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
more conversion to Unix line endings 2012-09-04 22:59:50 +00:00			`#Thu Jan 03 11:24:41 EST 2008`
			`eclipse.preferences.version=1`
			`formatter_profile=_WALA`
			`formatter_settings_version=11`
			`instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true`