}
protected int findSSHPort(int defaultValue) {
IServer s = getServer();
if (s != null) {
IKarafServerDelegate ksd = (IKarafServerDelegate)s.loadAdapter(IKarafServerDelegate.class, new NullProgressMonitor());
if (ksd != null) {
return ksd.getPortNumber();
}
}
return defaultValue;