fix #4312: OOM in Jenkins findbugs