On 02/05/2014 20:18, Felix Natter wrote: > > BTW: my package jmapviewer still Depends: on openjdk-7-jre. This should > soon be changed to default-jre, right? (I _think_ David wants to package > 1.03 anyway...). > Right! Sylvestre