diff options
author | Karsten Thoms | 2019-02-12 20:52:58 +0000 |
---|---|---|
committer | Karsten Thoms | 2019-02-14 21:56:38 +0000 |
commit | 2cc9927509ad0bc6e1bc97d1d435008c236b7d9b (patch) | |
tree | d2341fab202bae6b91ce012b436c8c23fe1cd737 /bundles/org.eclipse.team.cvs.ssh2/src/org/eclipse/team/internal/ccvs/ssh2/JSchSession.java | |
parent | d4aa0100abd68b27bb6f7334e48330f73c2ecb91 (diff) | |
download | eclipse.platform.team-2cc9927509ad0bc6e1bc97d1d435008c236b7d9b.tar.gz eclipse.platform.team-2cc9927509ad0bc6e1bc97d1d435008c236b7d9b.tar.xz eclipse.platform.team-2cc9927509ad0bc6e1bc97d1d435008c236b7d9b.zip |
Resolve raw type warningsI20190215-0055
Change-Id: I5a66afa307f4a830c3766c2c54a8ac2a371f90be
Signed-off-by: Karsten Thoms <karsten.thoms@itemis.de>
Diffstat (limited to 'bundles/org.eclipse.team.cvs.ssh2/src/org/eclipse/team/internal/ccvs/ssh2/JSchSession.java')
-rw-r--r-- | bundles/org.eclipse.team.cvs.ssh2/src/org/eclipse/team/internal/ccvs/ssh2/JSchSession.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bundles/org.eclipse.team.cvs.ssh2/src/org/eclipse/team/internal/ccvs/ssh2/JSchSession.java b/bundles/org.eclipse.team.cvs.ssh2/src/org/eclipse/team/internal/ccvs/ssh2/JSchSession.java index ca5aad664..3e290148c 100644 --- a/bundles/org.eclipse.team.cvs.ssh2/src/org/eclipse/team/internal/ccvs/ssh2/JSchSession.java +++ b/bundles/org.eclipse.team.cvs.ssh2/src/org/eclipse/team/internal/ccvs/ssh2/JSchSession.java @@ -15,6 +15,7 @@ package org.eclipse.team.internal.ccvs.ssh2; import java.util.Enumeration; +import java.util.Hashtable; import org.eclipse.core.runtime.IProgressMonitor; import org.eclipse.core.runtime.OperationCanceledException; @@ -28,7 +29,7 @@ import com.jcraft.jsch.*; class JSchSession { private static final int SSH_DEFAULT_PORT = 22; - private static java.util.Hashtable pool = new java.util.Hashtable(); + private static Hashtable<String, JSchSession> pool = new Hashtable<>(); private final Session session; private final ICVSRepositoryLocation location; @@ -52,7 +53,7 @@ class JSchSession { String key = getPoolKey(username, hostname, actualPort); try { - JSchSession jschSession = (JSchSession) pool.get(key); + JSchSession jschSession = pool.get(key); if (jschSession != null && !jschSession.getSession().isConnected()) { pool.remove(key); jschSession = null; |