Update RegionDef.scala