Details
Description
We have a really nice setenv script that lets you change default memory sizes etc. It would be nice if we could add another variable here such as EXTRA_JAVA_OPTS that users could set to easily pass in other options without having to edit the karaf script or copy the DEFAULT_JAVA_OPTS from the karaf script.