@Override
      public void nameChosen(String name) {
        if (_propertyName != null || _type != null) {
          JavaStatisticsManager.incVariableNameUseCount(name, kind, _propertyName, _type);
        }
      }
@Override
      public void nameChosen(String name)