fixed names for servlets in log4j