trave: switch to openjdk 7