@Override
          public void nameChosen(String name) {
            JavaStatisticsManager.incVariableNameUseCount(name, kind, ((GrVariable)element).getName(), typeText);
          }
@Override
          public void nameChosen(String name)