public static String[] getCachedCredentials(ServerConnectionManager scm) {
String[] result = (String[]) m_credentialsMap.get(scm.toString());
if (result == null) {
result = (String[]) m_credentialsMap.get(scm.getHostname());
}
return result;
}
static void cacheCredentials(ServerConnectionManager scm, String[] credentials) {
m_credentialsMap.put(scm.toString(), credentials);
m_credentialsMap.put(scm.getHostname(), credentials);
}