Appending additional Java properties to JAVA_OPTS