package gw.api.ui uses java.util.Collection enhancement GL_CostWrapperCollectionEnhancement : Collection { function addCosts(costs : Collection){ this.addAll( costs.map( \ c -> new GL_CostWrapper(c)).toCollection() ) } }