Fixes a NullPointerException when the configuration files for the "Recent Files" feature is not yet created #1135
unp1code_quality.yml
on: pull_request
qodana
3m 21s
formatting
1m 20s
checkstyle_new
1m 50s
pmd
1m 52s
Annotations
1 warning
|
Result of method call ignored:
key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java#L247
Result of `File.createNewFile()` is ignored
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.6 MB |
|