Hervé Girod - 2017-04-24

Fix exceptions which could be thrown in "pre" or "source" elements with syntax highlighting in some cases
Fix the inter-package references in the infobox definitions which were not working for default imports
Use jEditor 0.4.10