On a first sight it seems to me javadoc is overspecified – i.e. it shouldn’t mention private VirtualDirectoryImplat all. It is enough to mention .getChildren() which is a public method of a VirtualFile
If you’re in a hurry: use VirtualFile.getChildren()to ensure children are loaded.
I’ll try to solve this conflict in a few days.