Support and require IDEA 13.1