Innocuous change (from IntelliJ IDEA 12 upgrade)