changing the name of some IntelliJ files