Text this: The Java language specification