Make java options configurable.