Hot: javaobject-orientedprogramming