Issue travis-ci#848: test agains default JDK7