private void loadExampleTexts() {
    optionsTexts.addItem("None");
    File dir = new File(exdir);
    for (File file : dir.listFiles()) {
      if (!file.isDirectory()) {
        String name = file.getName();
        if (name.endsWith(".txt")) {
          optionsTexts.addItem(name.substring(0, name.length()));
        }
      }
    }
  }