Enno Boland be3ec2f5c6 eclipse: depend on oracle-jdk instead of jre; revbump		2014-06-22 08:13:31 +02:00
..
files	…
template	…