code: public int getMonth()
      {
          Timestamp adjusted = this;
  
          if (this._offset != null) {
              if (this._offset.intValue() != 0) {
                  adjusted = make_localtime();
              }
          }
          return adjusted._month;
      }
docs: Returns the month of this Timestamp, in its local time.
  
  @return
  a number within the range [1, 12], whereby 1 refers to January
  and 12 refers to December, in its local time;
  1 is returned if the Timestamp isn't precise to
  the month