feat: update GUI dependencies.

Author: jrfaller

client.diff/build.gradle

@@ -11,6 +11,6 @@ dependencies {
 	implementation 'com.sparkjava:spark-core:2.9.4'
 	implementation 'org.slf4j:slf4j-nop:2.0.9'
 	implementation 'it.unimi.dsi:fastutil:8.5.12'
-	implementation 'com.fifesoft:rsyntaxtextarea:3.3.4'
+	implementation 'com.fifesoft:rsyntaxtextarea:3.5.4'
 	implementation 'com.j2html:j2html:1.6.0'
 }

client.diff/src/main/java/com/github/gumtreediff/client/diff/webdiff/MergelyDiffView.java

@@ -40,9 +40,9 @@ public static HtmlTag build(int id) {
     }
 
     private static class Header {
-        public final static String MERGELY_JS_URL = "https://cdnjs.cloudflare.com/ajax/libs/mergely/5.0.0/mergely.min.js";
+        public final static String MERGELY_JS_URL = "https://cdnjs.cloudflare.com/ajax/libs/mergely/5.3.6/mergely.min.js";
 
-        public final static String MERGELY_CSS_URL = "https://cdnjs.cloudflare.com/ajax/libs/mergely/5.0.0/mergely.css";
+        public final static String MERGELY_CSS_URL = "https://cdnjs.cloudflare.com/ajax/libs/mergely/5.3.6/mergely.min.css";
 
 
         public static Tag build() {

client.diff/src/main/java/com/github/gumtreediff/client/diff/webdiff/WebDiff.java

@@ -41,8 +41,8 @@
 @Register(description = "Web diff client", options = WebDiff.WebDiffOptions.class, priority = Registry.Priority.HIGH)
 public class WebDiff extends AbstractDiffClient<WebDiff.WebDiffOptions> {
     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.3.2/dist/css/bootstrap.min.css";
-    public static final String BOOTSTRAP_JS_URL = "https://cdn.jsdelivr.net/npm/bootstrap@5.3.2/dist/js/bootstrap.bundle.min.js";
+    public static final String BOOTSTRAP_CSS_URL = "https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css";
+    public static final String BOOTSTRAP_JS_URL = "https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/js/bootstrap.bundle.min.js";
 
     public WebDiff(String[] args) {
         super(args);