com.ibm.wala.j2ee/.settings/org.eclipse.jdt.ui.prefs

   1 #Thu Jan 03 11:24:41 EST 2008\r
   2 eclipse.preferences.version=1\r
   3 formatter_profile=_WALA\r
   4 formatter_settings_version=11\r
   5 instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true\r
   6 org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/>\r