public void addDestination(String tag, int destination) {
    if (tag.equals("DEFAULT")) setDefaultDestination(destination);
    else if (tag.equals("~`!@#$%?")) otherPunctuationDestination = destination;
    else if (tag.equals("SPACE")) spaceDestination = destination;
    else if (tag.equals("0-9")) numDestination = destination;
    else destinations.put(tag, destination);
  }