<2013-02-23> Mise à jour du lien vers l'API du JDK
Authored by: vincentb1 2013-02-26
Parent: [r1757]
Child: [r1759]