A tiny demo project for an IntelliJ issue