} else if (tileset.getMap() != null) { location = tileset.getMap().getFilename();
    public void setTileset(TileSet s) {        tileset = s;        if (tileset != null) {            // Find new tile images at the location of the tileset            if (tileset.getSource() != null) {                location = tileset.getSource();            }            tilesetNameEntry.setText(tileset.getName());            //sharedImagesCheck.setSelected(tileset.usesSharedImages());            externalBitmapCheck.setSelected(tileset.getTilebmpFile() != null);        }        queryTiles();        queryImages();        updateEnabledState();    }