code: public Separator hsplit(Separator other)
  	{
  	    Rectangular r = super.hsplit(other);
  	    if (r == null)
  	        return null;
  	    else
  	        return new Separator(type, r);
  	}
docs: ======================================================================================