public String extractCommandArgument(String prefix) {
    if (myText.startsWith(prefix)) {
      return myText.substring(prefix.length()).trim();
    }
    else {
      return myText;
    }
  }
public String extractCommandArgument(String prefix)