Compatibility with idea 13