jdk

803a88aa - fix benchmark, from rgiulietti