Commit #013.1

RegionManagerPlugin:
  * fixed NullPointerException in versionCheck(Player)