Refined postinst, sets /etc/default/tomcat7 properly