revert to JDK7 for travis