Bugfix in phpstorm configurator class