Retour au JDK 1.7 : semble corriger le bug #1.