Update TopLevelList.java