Presenting Java Semantics in Nuprl