Estadísticas del PDF: Instalar JML en ubuntu

Pinchamos en Download J2SE SDK y luego buscamos el fichero apropiado

Instalar JML en ubuntu/kubuntu

Primeramente hay que bajarse el JML y el jdk1.4. Tiene que ser el jdk1.4, no valen
versiones superiores de jdk, al menos por ahora.

Jmlspecs:
http://sourceforge.net/project/showfiles.php?group_id=65346

Java 2 SDK, Standard 1.4:
http://java.sun.com/j2se/1.4.2/download.html


Nos descargamos los dos archivos en una misma carpeta y nos ponemos en modo root
mediante el comando “su”: ...