utilities for java to use some of the useful oracle features e.g. forall