fixing java_opt_ext