Jenkins is going to shut down

Changes

Summary

  1. javadoc: fix (details)
The file was modified make/build.xml (diff)