Upgrade to latest JDoctest pre-release.

This allows doctests to query protected and private Java fields, which
allows us to simplify the `FormationListJS` work-around we had been
using.  Use the same `ContextFactory` in `PMSD` in order to allow
the same ability from within PMSD (needed to access `FormationList`).
Clean up unused imports.