MICROJAVA SPECIFICATION MicroJava is a subset of Java. The meaning of a MicroJava program is given by its meaning as a Java program. Overloading is not allowed in MicroJava. The MicroJava statement System.out.println( ... ); can only print integers. The dot notation supports both access to fields of objects and to the length of arrays. In MicroJava, it is not allowed to assign to method arguments. For example, void m(A a) { a = ... } is not allowed.