对Java集合框架的扩展。