use jdk7 for travis builds