Also note that this pattern is copy-pasted throughout *all* of the `JavaWebApp` server entities, if we ever decide to change it...