Correct Intellij IDEA 13.0.1 SHA