travis: multiple jdks