Allow compatibility with other IDEA editors