Abbreviations Manager #1042
Annotations
4 warnings
|
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L290
Non-serializable field 'ICON' in a Serializable class
|
|
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L62
Non-serializable field 'mediator' in a Serializable class
|
|
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L73
Non-serializable field 'oldProof' in a Serializable class
|
|
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L46
Redundant default parameter value assignment
|
The logs for this run have expired and are no longer available.
Loading