@Override
    public void error(@NotNull String message) {
      if (myOriginalPositionMarker != null) {
        myOriginalPositionMarker.drop();
      }
      super.error(message);
    }
@Override
    public void error(@NotNull String message)