Updated to IntelliJ IDEA 12.1.3.