class EditorModel {

  public boolean isPropertiesFile(File f) {
    return
      f != null &&
      (!f.exists() || f.isFile()) &&
      f.getName().toLowerCase().endsWith(".properties");
  }

  public  EditorModel(Resources resources,
                     TextSource.Factory textSourceFactory,
                     AgentCacheState agentCacheState,
                     FileChangeWatcher fileChangeWatcher);

}