IDEA 13.1 compilation