Try to add misc.xml to the ignore list. Every time some update comes, my SDK settings on different machines go out of sync.
Major performance improvement of the highlighter by not using the symbol resolve algorithm but implement run a separate localizedSymbolProcessor.
Merge remote-tracking branch 'origin/develop' into develop