removed unused copy-pasted TreeMap

PortSwigger · Apr 26, 2019 · 4ddccb8 · 4ddccb8
1 parent e24981a
commit 4ddccb8
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/burp/BurpExtender.java b/src/burp/BurpExtender.java
@@ -217,7 +217,6 @@ private static void escapeJson(Json node, StringBuilder output) {
 			output.append('}');
 		} else if (node.isArray()) {
 			String prefix = "[";
-			Map<String, Json> tm = new TreeMap(String.CASE_INSENSITIVE_ORDER);
 			for (Json value : node.asJsonList()) {
 				output.append(prefix);
 				prefix = ", ";