Added IntelliJ IDEA 13.0.1.