Fix Name: auto cut length of name, if it is greater than the max length

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/PredefinedExistingValueVerifier.java

@@ -87,7 +87,7 @@ public class PredefinedExistingValueVerifier extends AbstractVerifier {
         .addVerificationFix(stringValue.isInputValue() ? SHOW_INPUT_ENTRIES : SHOW_OUTPUT_ENTRIES)
         .addVerificationFix(
             VerificationFix.getBuilder()
-                .withFixName("Add predefined value \"" + missingStringValue + "\"")
+                .withFixName("Add pred. value \"" + missingStringValue + "\"")
                 .addAction(
                     Action.getBuilder()
                         .withActionType(ActionType.UPDATE)

dmnverifierapi/src/main/java/de/unikoblenz/fgbks/core/dmn/verification/verifier/impl/PredefinedMissingValueVerifier.java

@@ -109,7 +109,7 @@ public class PredefinedMissingValueVerifier extends AbstractVerifier {
     for (String value : missingStringValues) {
       vreFactory.addVerificationFix(
           VerificationFix.getBuilder()
-              .withFixName("Delete predefined value \"" + value + "\"")
+              .withFixName("Delete pred. value \"" + value + "\"")
               .addAction(
                   Action.getBuilder()
                       .withActionScope(stringColumn.isInputColumn() ? INPUT_COLUMN : OUTPUT_COLUMN)