Improve startup time for fresh or rollback'd session in index writing refs #7806 Change-Id: I44ea1e0972bfd360b6af44dbbe62e934e06c59e0
Add logging to indexing & replace File-API with NIO Path-API refs #7785 Change-Id: I38a1d2fe7425bf06c97e1178c7b26b3566f1126b
Fixed all line endings of the repository I followed the instructions in http://stackoverflow.com/a/1511273 git rm --cached -r . git config core.autocrlf true git diff --cached --name-only -z | xargs -0 git add git commit -m "..." Change-Id: I4920748df8f53c221fc2f643e991b66aea5697e0
Migrated source code from Simantics SVN