@Nullable
  @Override
  public SourcePosition getSourcePosition(Location location) throws NoDataException {
    final SourcePosition position = super.getSourcePosition(location);
    if (position == null) {
      throw NoDataException.INSTANCE; // delegate to other managers
    }
    return position;
  }
@Nullable
  @Override
  public SourcePosition getSourcePosition(Location location)