fix for travis script
java source version set explicitly