public void storeExecutionCounterLineNumber(int counter, int lineNumber) {
    Map<Integer, Integer> counterMap = getHistoryViewer().getUserData(COUNTER_LINE_NUMBER);
    if (counterMap != null) {
      counterMap.put(counter, lineNumber);
    }
  }
public void storeExecutionCounterLineNumber(int counter, int lineNumber)