Java Precisely

(Author: Peter Sestoft)