josm Keyboard input stops working

[Nelson A. de Oliveira]

On Sun, Jan 6, 2019 at 12:54 PM Florian Lohoff <f at zz.de> wrote:
> for some month now i have the issue that under some for me
> non deterministic circumstances the complete keyboard input
> in JOSM stops working.

Sometimes I still have this same problem
https://josm.openstreetmap.de/ticket/13160

As a workaround, when I see that the keys stopped to work, I open a
terminal, create an empty session file (touch something.joz) and ask
JOSM to save the session (selecting this empty file and overwriting
it).