Demonstrat an IntelliJ 13.1.1 bug