Correct format of java_opts