use java7 on travis