spotless

KeYProject · Feb 7, 2025 · 3456abd · 3456abd
1 parent 74135db
commit 3456abd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/sourceview/SourceView.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/sourceview/SourceView.java
@@ -935,7 +935,8 @@ public String getToolTipText(MouseEvent mouseEvent) {
         /**
          * The JavaDocument shown in this tab.
          */
-        private final SourceHighlightDocument doc = new SourceHighlightDocument(new JavaJMLEditorLexer());
+        private final SourceHighlightDocument doc =
+            new SourceHighlightDocument(new JavaJMLEditorLexer());
 
         private Tab(URI fileURI, InputStream stream) {
             this.absoluteFileName = fileURI;