Documented "differences with Java"