@Override
  public List<Location> locationsOfLine(String stratum, String sourceName, int lineNumber) throws AbsentInformationException {
    return Collections.emptyList();
  }
@Override
  public List<Location> locationsOfLine(String stratum, String sourceName, int lineNumber)