#(c):Benja Fallenstein import gzz, java def pool(indexTypes): set = java.util.HashSet() for el in indexTypes: set.add(el) return gzz.storm.impl.TransientPool(set) execfile("lava/test/gzz/storm/IndexedPool.meta")