A Java-like language