Error occurred while executing the build for Javadocs - Publish 1.9x Javadocs - Default Job #3963 (JAVADOC-BRANCH19X-JOB1-3963)
Build JAVADOC-BRANCH19X-JOB1-3963 had to be cancelled: it was marked as in progress in DB but no agents were assigned to it.