public @Nullable Integer getExecutionCounterLineNumber(int counter) {
    Map<Integer, Integer> counterMap = getHistoryViewer().getUserData(COUNTER_LINE_NUMBER);
    if (counterMap != null) {
      return counterMap.getOrDefault(counter, null);
    }
    return null;
  }
public @Nullable Integer getExecutionCounterLineNumber(int counter)