Update to idea 139.872.1
Buildserver auto merge