jdom中如何样判断某个节点是否存在有子节点?多谢

jdom中怎么样判断某个节点是否存在有子节点?谢谢
例如：   <env:Body>
                        <Sender> <Number> 123 </Number> </Sender>
              </env:Body>

在收到消息解码的时候，想判断 <Serder> 下是否还有子节点存在，如果有则取到 <Number> 下的123   ；   如果没有，即 <Sender> 123 </Sender> 形式，则取 <Sender> 下的123

非常感谢

[解决办法]
if(Sender.getChildren().size() == 0)
没有子结点
else
有子结点