code: public PageSource getPageSource(String key, boolean updateAccesTime) { // DO NOT CHANGE INTERFACE (used by Argus Monitor)
  	PageSource ps = pageSources.get(key.toLowerCase());
  	if (ps == null) return null;
  	if (updateAccesTime) ps.setLastAccessTime();
  	return ps;
      }
docs: return pages matching to key
  
  @param key key for the page
  @param updateAccesTime define if do update access time
  @return page