Fix construction of Javac issue dialog #3008
Continuation of https://git.key-project.org/key/key/-/merge_requests/637
Artifacts
- 05. Feb 2023 00:48 (1286.85 kB large)
- 04. Feb 2023 12:30 (1374.89 kB large)
- 02. Feb 2023 23:24 (1374.79 kB large)
- 02. Feb 2023 16:37 (1375.95 kB large)
- 02. Feb 2023 13:29 (1389.77 kB large)
- 02. Feb 2023 12:47 (1390.05 kB large)
- 31. Jan 2023 15:39 (1390.27 kB large)