Adapting to Intellij IDEA 13