Change JDK used by Travis.
Change JDK used by Travis.

Am having some problems with Travis not compiling code that is compiling
under Eclipse.  To resolve this, am attempting to use OpenJDK 8 rather
than Oracle 8.

Whiley/WhileyCompiler