[BLUEJ-1217] Remove feature to write backup files in Java editor
We have an option to record .java~ files as back up, but this is no longer really needed. We should remove the option and accompanying code.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.2.0