Merge "Tidy up the Eclipse debugging documentation"