Revert inadvertent change to DefaultDocumentLoader

Revert changes to DefaultDocumentLoader accidentally committed in
60532cbd1eb4e1b5778653fec315407531e949a9.