Renamed Set to TileSet, because I need to use java.util.Set