Project: Eclipse_Platform_UI
Bug 2920 [Workbench] IMemento.getChildren does not match Javadoc API spec (1GKNTYG)
Reported: 2001-10-10 22:46:10 | Status: verified fixed

The Javadoc API of IMemento.getChildren specifies that a list is returned but the code returns an array. NOTES:

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/IMemento.java