public void boardChangedHex(BoardEvent b) {
public synchronized void boardChangedHex(BoardEvent b) {
    public void boardChangedHex(BoardEvent b) {        IHex hex = game.getBoard().getHex(b.getCoords());        tileManager.clearHex(hex);        tileManager.waitForHex(hex);        if (boardGraph != null) {            redrawAround(b.getCoords());        }    }