EnterMedia 30 gzip org.openedit.servlet.gzip.GZipServletFilter EMFilter org.openedit.servlet.OpenEditFilter gzip *.html gzip *.css gzip *.js EMFilter /* GitServlet org.eclipse.jgit.http.server.GitServlet base-path / export-all true 1 GitServlet /entermedia/servlets/git/*