code: public Logger get_logger() {
  	if (logger == null) {
  	    logger = Logger.getLogger(get_name().toLowerCase());
  	    logger.setAdditivity(false);
  	    logger.setLevel(Level.WARN);
  	    last_level = Level.WARN;
  	}
  	return logger;
      }
docs: Returns the device's logger