I’ve been searching for this for a while, and finally stumbled upon it by accident. It’s a property of the Application Manager in server.xml. You can set it like this: or, more likely: