Viraj,
jetty 9.3.5 was last used in DevTest 9.5.1. Starting with DevTest 10.0.0 only jetty 9.3.11 is being used. This is probably just a documentation misprint. I will bring it to our documentation group's attention.
The best was to determine the versions of the 3rd party jars is to look in both the DEVTEST_HOME/lib/dradis and DEVTEST_HOME/lib/shared folders.
Hope this clarifies. Apologies for the confusion.
~Marcy