Files for IntelliJ IDEA (generated by version 13)