Bumped version number in WorldEditCUI.java.
Added support for non-integer coordinates to CUIPointEvent.
Added support for polyhedral regions.