IntelliJ IDEA 13

This change updates the IDEA metadata for version 13.