Fix javadoc formatting

FliegendeWurst · wadoon · commit 72c13eab3290 · 2023-02-05T00:13:06.000+01:00
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/IssueDialog.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/IssueDialog.java
@@ -191,7 +191,8 @@ private static List<PositionedIssueString> decorateHTML(Set<PositionedIssueStrin
     }
 
     /**
-     * Construct a new issue dialog based on the title, the warnings to show and the exception to show.
+     * Construct a new issue dialog based on the title, the warnings to show and the exception to
+     * show.
      *
      * @param owner parent window
      * @param title dialog title

Original file line number	Diff line number	Diff line change
`@@ -191,7 +191,8 @@ private static List<PositionedIssueString> decorateHTML(Set<PositionedIssueStrin`
`191`	`191`	`}`
`192`	`192`
`193`	`193`	`/**`
`194`		`- * Construct a new issue dialog based on the title, the warnings to show and the exception to show.`
	`194`	`+ * Construct a new issue dialog based on the title, the warnings to show and the exception to`
	`195`	`+ * show.`
`195`	`196`	`*`
`196`	`197`	`* @param owner parent window`
`197`	`198`	`* @param title dialog title`