virtuoso: rebuild for openjdk