diff options
author | Robin Rosenberg <robin.rosenberg@dewire.com> | 2012-12-15 11:41:32 +0100 |
---|---|---|
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | 2012-12-27 11:57:34 -0500 |
commit | 04bc9b3ddcaa8f1535d90a2f712706c6c5597cd4 (patch) | |
tree | 73c97b9dc481d18b66ccee627ace517ab73967dd /org.eclipse.jgit.http.server/src | |
parent | 92893d1f92b12922a41accd53da19b074090f15e (diff) | |
download | jgit-04bc9b3ddcaa8f1535d90a2f712706c6c5597cd4.tar.gz jgit-04bc9b3ddcaa8f1535d90a2f712706c6c5597cd4.zip |
Add type argumente to some raw reclaration
Change-Id: Ief195fb5c55f75172f0428fdac8c8874292ae566
Diffstat (limited to 'org.eclipse.jgit.http.server/src')
3 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/GitServlet.java b/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/GitServlet.java index 11c3de39e4..bca521025d 100644 --- a/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/GitServlet.java +++ b/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/GitServlet.java @@ -182,7 +182,7 @@ public class GitServlet extends MetaServlet { return config.getInitParameter(name); } - public Enumeration getInitParameterNames() { + public Enumeration<String> getInitParameterNames() { return config.getInitParameterNames(); } diff --git a/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/glue/NoParameterFilterConfig.java b/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/glue/NoParameterFilterConfig.java index c7ca2b2898..8dfcc4d149 100644 --- a/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/glue/NoParameterFilterConfig.java +++ b/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/glue/NoParameterFilterConfig.java @@ -63,7 +63,7 @@ final class NoParameterFilterConfig implements FilterConfig { return null; } - public Enumeration getInitParameterNames() { + public Enumeration<String> getInitParameterNames() { return new Enumeration<String>() { public boolean hasMoreElements() { return false; diff --git a/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/glue/UrlPipeline.java b/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/glue/UrlPipeline.java index 53008deb11..2d0b844072 100644 --- a/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/glue/UrlPipeline.java +++ b/org.eclipse.jgit.http.server/src/org/eclipse/jgit/http/server/glue/UrlPipeline.java @@ -125,7 +125,7 @@ abstract class UrlPipeline { return null; } - public Enumeration getInitParameterNames() { + public Enumeration<String> getInitParameterNames() { return new Enumeration<String>() { public boolean hasMoreElements() { return false; |