Fix Highlight Manager on set to defaults
Fix ensureNotHighlighting by setting the JDT fo...
Handle syncing between JML highlighting setting...
Actually make HighlightingFoldingStructureProvi...
Very basic JML syntax highlighting, but current...
Externalize strings in folding preference block
Add preference page for JML folding provider
Add a folding provider to wrap another folding ...