True. Unfortunately, the signature of getChildren() claims to return an ArrayList. This does not fit with the unmodifiable list of the Collections API. So I think we should stick with it, as I don't want to change the API. :-(