Java code specification.doc