Malgré la spécification de JDK 1.7 dans tous les paramètres du projet (y compris dans File -> Project Structure -> Project :: Project SDK), l'erreur suivante est générée IntelliJ 13lorsque vous essayez de compiler du code Java 7 simple qui utilise l'opérateur diamant:
java: diamond operator is not supported in -source 1.5
(use -source 7 or higher to enable diamond operator)
Y a-t-il un autre endroit dans la configuration où l' -source 7option attendue doit être activée?

File -> Project Structure -> Project :: Project language levelchanger pourDiamonds, ARM, multi-catch etc?