private void setDefaultDestination(int destination) {
    defaultDestination = destination;
    if (otherPunctuationDestination == Integer.MAX_VALUE) otherPunctuationDestination = destination;
    if (spaceDestination == Integer.MAX_VALUE) spaceDestination = destination;
    if (numDestination == Integer.MAX_VALUE) numDestination = destination;
  }