code: public static String localName(String name) {
  		int ix = name.lastIndexOf(Manager.HIERARCHY_DELIMITER);
  		if (ix == -1) {
  			return name;
  		}
  		return name.substring(ix + 1);
  	}
docs: Returns last part of Simon name - local name.
  
  @param name full Simon name
  @return string containing local name