gwt-servlet.jar fix: remove ignore and upload file to repository again