Am 06.11.2013 21:11, schrieb Joachim Zobel: > * Workaround for bug #720684 in openjdk-6-jdk. > - Changes the jdk dependency to openjdk-7-jdk. > - Changes the laucher script to use openjdk-7-jdk. so this still keeps an rc issue open for jessie to not build using openjdk-7.