Julian Dolby 36709b9d1a java 7 support, with much pain for stack maps :)		2014-10-06 15:34:16 -04:00
..
org.eclipse.core.resources.prefs	java 7 support, with much pain for stack maps :)	2014-10-06 15:34:16 -04:00
org.eclipse.jdt.core.prefs	Set all projects to build against Java 6; no semantic change. Fixes #20	2013-04-10 16:01:27 -07:00
org.eclipse.jdt.ui.prefs	add modeling of window.onload invocation	2013-09-16 09:37:18 -07:00