Properties of the Java language