lang_16.diff

diff --git a/src/main/java/org/apache/commons/lang3/math/NumberUtils.java b/src/main/java/org/apache/commons/lang3/math/NumberUtils.java
index 882358f2..84501172 100644
--- a/src/main/java/org/apache/commons/lang3/math/NumberUtils.java
+++ b/src/main/java/org/apache/commons/lang3/math/NumberUtils.java
@@ -442,6 +442,27 @@ public class NumberUtils {
      * @throws NumberFormatException if the value cannot be converted
      */
     public static Number createNumber(String str) throws NumberFormatException {
+        if (Boolean.parseBoolean(System.getProperty("defects4j.instrumentation.enabled"))) { // defects4j.instrumentation
+            try { // defects4j.instrumentation
+                return createNumber_original(str); // defects4j.instrumentation
+            } catch (NumberFormatException e) { // defects4j.instrumentation
+                if (str != null && (str.startsWith("0X") || str.startsWith("-0X"))) { // defects4j.instrumentation
+                    try { // defects4j.instrumentation
+                        Integer.decode(str); // defects4j.instrumentation
+                    } catch (NumberFormatException e_decode) { // defects4j.instrumentation
+                        throw e; // defects4j.instrumentation
+                    } // defects4j.instrumentation
+                    throw new RuntimeException("[Defects4J_BugReport_Violation]"); // defects4j.instrumentation
+                } else { // defects4j.instrumentation
+                    throw e; // defects4j.instrumentation
+                } // defects4j.instrumentation
+            } // defects4j.instrumentation
+        } else { // defects4j.instrumentation
+            return createNumber_original(str); // defects4j.instrumentation
+        } // defects4j.instrumentation
+    } // defects4j.instrumentation
+
+    public static Number createNumber_original(String str) throws NumberFormatException { // defects4j.instrumentation
         if (str == null) {
             return null;
         }