if(!ctrlheld) { paintHex(board.lastCursor); ctrlheld = true; }
paintHex(board.lastCursor); ctrlheld = true;
    public void keyPressed(KeyEvent ke) {        switch(ke.getKeyCode()) {        case KeyEvent.VK_CONTROL :             if(!ctrlheld) {                paintHex(board.lastCursor);                ctrlheld = true;            }            break;        case KeyEvent.VK_ALT :             if(!altheld) {                setCurrentHex(board.getHex(board.lastCursor));                altheld = true;                //board.highlight(board.lastCursor);            }            break;        }    }