Don't add CodeMirror to documentation pane.
Merge branch 'master' of https://github.com/OpenNTF/SocialSDK.git
Fix for the Domino platform
Fix for Greenhouse issues
Merge remote-tracking branch 'origin/master'
Java samples page updated: Has CodeMirror, fixes layout and bugfixes,
esp. where samples were loaded multiple times.
Fix a bug where a sample's html was set to its docHtml.