In our experiments with pcoq, we have discovered that some java implementations failed to give the keyboard focus to the top part of the pcoq window even when you click there.
As a result, the characters you type are not recognized by pcoq and they are simply lost.
The only solution we have found is to pop the window using window-manager facilities, for instance by clicking on the banner that is provided by the window-manager.