adjusted jdocbook plugin version