Updated properties to accept java.opts