I need to modify conf/server.xml, but I don't want to do it in the jira home, since that makes system updates a hassle.
There must be some way to feed options to the java command to tell tomcat to use a different server.xml, without moving tomcat altogether. I'd also rather not use a symbolic link if that can be avoided.
How is this done?