Grrr. IntelliJ's quiet buggy today. Random cursor movements, IDE completely stuck while editing... . Incredible given how old it is!