Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
fix https://issues.jenkins-ci.org/browse/JENKINS-7246 caused by patch…
… in https://issues.jenkins-ci.org/browse/JENKINS-6996 (do not use "this.getOther().isEmpty()", to be compatible with jdk 1.5)
- Loading branch information