IntelliJ IDEA version bump (13.0.2->13.1)