Andy Wilkinson 5ccd7365cb Reinstate Java 7 compatibility

2014-11-13 13:45:34 +00:00

..

org.eclipse.jdt.core.prefs

Reinstate Java 7 compatibility

2014-11-13 13:45:34 +00:00

org.eclipse.jdt.ui.prefs

Initial commit

2014-10-08 14:04:52 +01:00