1.3.0.2 - some minor fixes, closes #985
Temp gradle fix for scala
Some fixes - closes #987 and #988
Protection module now stays disabled, if you disable it in the config. I don't recommend doing that though.
Worldborder knockback now does automatic /top to prevent suffocation
Close #977 - scripting events for player changing zone
Also overhauled EventType to make it easier to add new events.
Spit and prayers solution to close #973 - please test!
Save all PermQueries and PropQueries as lower case
Add difficulty setting to /serversettings
Update WorldEdit Forge to 19291ea4e3
Some fixes for protection and weintegration
Some refactoring - the name EventHandler is very ambiguous
Merge in 1.3.0.2 release.