Small corrections to Java.Introduction