Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Jenkinsfile: disable javadoc, maven issues
- publishAllIssues: false - to disable unrelated warnings in PRs - maven: wrongly collects "API WARNING"s without resolving filename - javadoc: it is currently not used * eclipse: ecj info markers work fine with parsing xml files
- Loading branch information