hotfix for servlet lastModified header