bugfix JvmCodeGen