Le 30/01/2017 à 11:11, Mathieu Malaterre a écrit : > Before doing something silly, could you confirm I can bump: Depends to: > > default-jdk >= 2:1.8-58 > > (since openjdk7 does not support this option). Yes it looks good. Emmanuel Bourg