Revert jdocbook plugin back to 2.3.5 version due to performance
degradation in 2.3.8