Rollback to Jetty 7.4.3 for now.

James Moger

2011-07-21 0d3e3ca5b85d7e81066030a5081ea3a9cbe76607

 src/com/gitblit/wicket/panels/SearchPanel.java

@@ -74,7 +74,7 @@


      // header

      add(new CommitHeaderPanel("commitHeader", repositoryName, commit));

		


      add(new Label("searchString", value));

      add(new Label("searchType", searchType.toString()));