bump infra
Merge branch 'master' of github.com:ChangeOrientedProgrammingEnvironment/intellijRecorder into priorityConfig
rename
Return the file instead of the path
return if file is null
update version number
Merge pull request #24 from cdmihai/recordBug

Record bug
Merge pull request #23 from cdmihai/priorityConfig

bump infra
Merge branch 'master' of github.com:ChangeOrientedProgrammingEnvironment/intellijRecorder into recordRefactorings