Update to IDEA 13.1 (134.1007) 3