![[Jenkins]](/californium/static/5495fd4a/images/svgs/logo.svg){kind=logo}
TARGET
JAVA_TOOL_OPTIONS
Default empty value is OK.
JAVA_TOOL_OPTIONS and _JAVA_OPTIONS are declared as workaround to override default environment variables.
This is only needed when java 7 is used.
See bug 547626 for details.
JAVA_TOOL_OPTIONS and _JAVA_OPTIONS are declared as workaround to override default environment variables.
This is only needed when java 7 is used.
See bug 547626 for details.
_JAVA_OPTIONS
Default empty value is OK.
(see above)