tree 80c05fbb816f1baded7ab572775feb05c0b7fea8
parent ea31e83e80b95bf396db3ac82982b57bb5e6e15c
author Diwaker Gupta <diwaker@maginatics.com> 1360203708 -0800
committer Diwaker Gupta <diwaker@maginatics.com> 1360203708 -0800

Allow specifying extra options to the Java cmdline.

Among other things, this enables callers to configure HTTP proxy
via environment variables.