Issue #42: Restore IDEA 11 support.