I picked Java because a) I know where to find it, b) the author mentions Java positively and c) the C++ standard costs $18.

Any formal language spec will look ugly and hard to read. That's just the nature of formal specs.