sweethome3d: 4.0-1~getdeb2

  * Depend on openjdk-7-jre (LP: #1181204)