gwt-servlet.jar fix: bring back ignoring file in gitignore