sjfink 8d3c821de5 bump up source level to 6.0 ... git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1847 f5eafffb-2e1d-0410-98e4-8ec43c5233c4		2007-10-11 14:25:41 +00:00
..
org.eclipse.jdt.core.prefs	bump up source level to 6.0	2007-10-11 14:25:41 +00:00
org.eclipse.jdt.ui.prefs	bump up source level to 6.0	2007-10-11 14:25:41 +00:00