.gitignore now excludes all directories but Plugins
Added checkpoint and correlation support
Fixed JNI exception in editor