set Document.downloadDone when loading from cache without going into DownloadMonitor. deprecated Document.downloadDone (use Document.downloadStatus instead)
Merge branch 'master' of https://github.com/ecologylab/BigSemanticsJava