Robert Helgesson 923dda992b ecj: require jdk7 instead of jdk ... The ecj build fails in Java 8 due to backwards incompatible changes in the `javax.lang.model` namespace so with this change we specifically ask for a JDK for Java 7.		2015-07-27 17:37:37 +02:00
..
ecj	ecj: require jdk7 instead of jdk	2015-07-27 17:37:37 +02:00
jdt-sdk	updated eclipse to version 3.3.2 -- do we really need a special nix expression for jdt in development/eclipse?	2008-03-11 13:40:27 +00:00