msridhar1 02c1b80605 update Eclipse prefs ... git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4325 f5eafffb-2e1d-0410-98e4-8ec43c5233c4		2012-01-06 21:24:07 +00:00
..
org.eclipse.jdt.core.prefs	update Eclipse prefs	2012-01-06 21:24:07 +00:00
org.eclipse.jdt.ui.prefs	update Eclipse prefs	2012-01-06 21:24:07 +00:00