workaround, jenkins seems to use jdk 1.7