code: public Scope[] getChildren() {
          if (mChildren == null) {
              return new Scope[0];
          }
          else {
              return mChildren.toArray(new Scope[mChildren.size()]);
          }
      }
docs: Returns an empty array if this scope has no children.