This revision deletes IDocList.java which is no longer used.
Authored by: rcartwright 2008-07-30
Parent: [r4623]
Child: [r4625]
