Wonder why IDEA is a bit more flaky than usual today... . Refuses to take any more keyboard input at some point.