diff options
Diffstat (limited to 'org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/SearchServlet.java')
-rw-r--r-- | org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/SearchServlet.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/SearchServlet.java b/org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/SearchServlet.java index bf2d03e2b..74640a453 100644 --- a/org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/SearchServlet.java +++ b/org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/SearchServlet.java @@ -11,7 +11,7 @@ package org.eclipse.help.internal.webapp.servlet; import java.io.*; -import java.util.*; +import java.util.ArrayList; import javax.servlet.*; import javax.servlet.http.*; |