Make sure Travis-CI builds us with a good Java.

It was defaulting to 1.3, but we need at least 1.5 for annotations.