added java.opts