[galaxy-dev] java options