JVmine - Version Java del Buscaminas de Windows.