The variables in the init file are defined before loading /etc/default/tomcat7, I fail to see why the values were ignored in your case, but I don't think your patch will fix it.
** Changed in: tomcat7 (Ubuntu) Status: New => Incomplete -- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to tomcat7 in Ubuntu. https://bugs.launchpad.net/bugs/1354193 Title: Variables in /etc/default/tomcat7 overridden in /etc/init.d/tomcat7 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/tomcat7/+bug/1354193/+subscriptions -- Ubuntu-server-bugs mailing list Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs