Code quality stuff #2
wadoonAnnotations
2 warnings
|
Analyze (java-kotlin)
Cannot build an overlay database because build-mode is set to "autobuild" instead of "none". Falling back to creating a normal full database instead.
|
|
Analyze (java-kotlin):
keyext.api/src/main/java/org/keyproject/key/api/data/ProofNodeDescription.java#L10
[serial] serializable class ProofNodeDescription has no definition of serialVersionUID
|