WebStorm properties renamed