public function getShortName($name)
{
/* If there are several components to the name, explode and
* get the last one, otherwise just return the name. */
if (strpos($name, ':') !== false) {
$tmp = explode(':', $name);
return array_pop($tmp);
}
return $name;
}