2018-06-29 14:14:05 -04:00
|
|
|
# Default Java Options
|
2018-06-29 14:36:26 -04:00
|
|
|
@{java.application.options}
|
|
|
|
|
|
|
|
# Default Windows Java Options
|
|
|
|
@{windows.application.options}
|
|
|
|
|
|
|
|
# Default Windows Portable Java Options
|
|
|
|
@{windows.portable.application.options}
|
2018-06-29 14:14:05 -04:00
|
|
|
|
|
|
|
# Deployment Options
|
2018-07-01 12:36:32 -04:00
|
|
|
-Dapplication.deployment=zip
|
2018-06-29 14:14:05 -04:00
|
|
|
|
|
|
|
# Use Java API move/copy operations
|
|
|
|
-DuseNativeShell=false
|
|
|
|
|
|
|
|
# Support JAVA_OPTS and FILEBOT_OPTS environment variables
|
|
|
|
%JAVA_OPTS%
|
|
|
|
%FILEBOT_OPTS%
|