private String getAnnotationText(PsiMethod method, PsiModifierList modifierList) {
    PsiAnnotation annotation = modifierList.findAnnotation(JavaMethodContractUtil.ORG_JETBRAINS_ANNOTATIONS_CONTRACT);
    if (annotation != null) {
      String[] oldNames = ContainerUtil.map2Array(method.getParameterList().getParameters(), String.class, PsiParameter::getName);
      JavaParameterInfo[] parameters =
        ContainerUtil.map2Array(myParametersTableModel.getItems(), JavaParameterInfo.class, item -> item.parameter);
      try {
        PsiAnnotation converted = ContractConverter.convertContract(method, oldNames, parameters);
        if (converted != null && converted != annotation) {
          String text = converted.getText();
          return text.replaceFirst("^@"+JavaMethodContractUtil.ORG_JETBRAINS_ANNOTATIONS_CONTRACT, "@Contract");
        }
      }
      catch (ContractConverter.ContractConversionException ignored) {
      }
      return annotation.getText();
    }
    return "";
  }
private String getAnnotationText(PsiMethod method, PsiModifierList modifierList)