Set Travis to use openjdk7