# File lib_wpm/wpm.rb, line 727
    def check_not_empty(string, strip=false)
      if (string == nil || (strip ? string.strip.empty? : string.empty?)) then
        raise "empty string: #{string.inspect}"
      end
      nil
    end