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
The refactoring listener
register refactoring listener
update version number
Merge pull request #24 from cdmihai/recordBug

Record bug
Merge pull request #23 from cdmihai/priorityConfig

bump infra
listener takes the recorder
Record refactorings

Apparently there is no argument map ...
Treat stale refactorings

Solve the case when a refactoring end was not generated. This would have lead to all subsequent text changes having the refactoring origin.

Solution: A solution is in progress only if the progress flag is true and no more than 4 seconds have passed since the ref started
Expose the refactoring listener
Pass the refactoring listener to the DocumentListener
Update changeOrigin for Refactorings
Merge branch 'master' of github.com:ChangeOrientedProgrammingEnvironment/intellijRecorder into recordRefactorings
Order listener registration

To avoid a null pointer exception
Ignore editor events with null project or filePath
Fix typo in survey