A demonstration of a bug in IntelliJ Idea