the naming of the servlet was wrong, the bug may not be present on systems where upper/lowercase matching is lazy (windows)