msridhar1 5fd0909a7d changed execution environment to J2SE1.5. Fixed some warnings. ... git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4		2008-12-02 17:01:50 +00:00
..
org.eclipse.jdt.core.prefs	changed execution environment to J2SE1.5. Fixed some warnings.	2008-12-02 17:01:50 +00:00
org.eclipse.jdt.ui.prefs	tweak code formatting template	2008-01-03 16:31:18 +00:00