Pomimo określenia JDK 1.7 we wszystkich ustawieniach projektu (w tym w File -> Project Structure -> Project :: Project SDK), IntelliJ 13podczas próby skompilowania prostego kodu Java 7, który korzysta z operatora diamentu, generowany jest następujący błąd :
java: diamond operator is not supported in -source 1.5
(use -source 7 or higher to enable diamond operator)
Czy jest jakieś inne miejsce w konfiguracji, w którym oczekiwana -source 7opcja powinna być włączona?

File -> Project Structure -> Project :: Project language levelzmienić naDiamonds, ARM, multi-catch etc?