Fix NPE in attached sources, and make Hovers aware of source maps.

- expanded and corrected documentation about source maps and related methods.
- removed one instance of ⇒ that made Eclipse go nuts in that file (line spacing
  was increased, see [206740](https://bugs.eclipse.org/bugs/show_bug.cgi?id=206740)