[jmdb] Allowing to specify an extra name aswell as the host name for a shell