@Override
      public void nameChosen(String name) {
        if (type == null || !type.isValid()) return;
        JavaStatisticsManager.incVariableNameUseCount(name, kind, propertyName, type);
      }
@Override
      public void nameChosen(String name)