fix jvmdoc_gen