Tim Steinbach d8fc6c75fe Remove jdt-sdk ... The package is dead, the links no longer available.		2016-11-03 21:12:39 -04:00
..
ecj	ecj: require jdk7 instead of jdk	2015-07-27 17:37:37 +02:00