Fix up issue with servlet permissions