Changing Travis to use Java7