Manu, The Java Real Machine