Fix for [Bug 446255] [save actions] The save participant
'org.eclipse.jdt.ui.postsavelistener.cleanup' caused an exception:
org.eclipse.text.edits.MalformedTreeException: Overlapping text edits