Intellij plugin can now patch changes from others.

Closes #9