docs: public void updateTitle() {
          Project project = getProject();
          String name = project.getProjectName();
          if ((name == null || "".equals(name.trim())) && saveFile != null) {
              name = saveFile.getAbsolutePath();
          }
          if (name == null) {
              name = "";//Project.UNNAMED_PROJECT;
          }
          String oldTitle = this.getTitle();
          String newTitle = TITLE_START_TXT + ("".equals(name.trim()) ? "" : " - " + name);
          if (oldTitle.equals(newTitle)) {
              return;
          }
          this.setTitle(newTitle);
      }