Hi Beni, Thank you for reporting this issue. Could you file a bug so we can keep track of it please? Preferably for the tomcat8 package since tomcat7 is going to be removed soon. Emmanuel Bourg