Update PHPStorm to 8.0.2