Ebbene... sembra che questo comportamento sia un bug. Il problema deriva dal fatto che l'evento keyReleased viene scatenato da codice nativo, e quindi l'indipendenza dalla piattaforma non e' garantita.
Mi sa tanto che dovro' cambiare metodo.