Minor Changes

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/ExternalRefinementTypeChecker.java

@@ -72,10 +72,10 @@ public <R> void visitCtMethod(CtMethod<R> method) {
         boolean isConstructor = method.getSimpleName().equals(targetType.getSimpleName());
         if (isConstructor) {
             if (!constructorExists(targetType, method)) {
-                String message = String.format("Could not find constructor '%s' for '%s'", method.getSignature(),
-                        prefix);
+                String signature = method.getSignature();
+                String message = String.format("Could not find constructor '%s' for '%s'", signature, prefix);
                 String[] overloads = getOverloads(targetType, method);
-                diagnostics.add(new ExternalMethodNotFoundWarning(method.getPosition(), message, method.getSignature(),
+                diagnostics.add(new ExternalMethodNotFoundWarning(method.getPosition(), message, signature,
                         prefix, overloads));
             }
         } else {