Ignore java.opts.