diff --git a/src/main/java/gui/webdiff/WebDiff.java b/src/main/java/gui/webdiff/WebDiff.java index 5cf67c5a2b..5d7702cbd6 100644 --- a/src/main/java/gui/webdiff/WebDiff.java +++ b/src/main/java/gui/webdiff/WebDiff.java @@ -8,14 +8,9 @@ import spark.Spark; import java.io.IOException; -import java.nio.charset.Charset; -import java.nio.file.Files; -import java.nio.file.Paths; import static spark.Spark.*; -; - public class WebDiff { public static final String JQUERY_JS_URL = "https://code.jquery.com/jquery-3.4.1.min.js"; public static final String BOOTSTRAP_CSS_URL = "https://cdn.jsdelivr.net/npm/bootstrap@5.1.3/dist/css/bootstrap.min.css"; @@ -95,9 +90,4 @@ private static String render(Renderable r) throws IOException { r.renderOn(c); return c.toHtml(); } - - private static String readFile(String path, Charset encoding) throws IOException { - byte[] encoded = Files.readAllBytes(Paths.get(path)); - return new String(encoded, encoding); - } }