final String toolInfo = Main.toolName + " " + Main.toolVersion;
final String toolInfo = Main.getToolName() + " " + Main.getToolVersion();
    public void updateTitle ()    {        final String toolInfo = Main.toolName + " " + Main.toolVersion;        // Look for sheet first        Sheet sheet = sheetPane.getCurrentSheet();        if (sheet != null) {            StringBuffer sb = new StringBuffer();            sb.append(sheet.getName());            Step step = sheet.currentStep();            if (step != null) {                sb.append(" - ").append(step);            }            sb.append(" - ").append(toolInfo);            frame.setTitle(sb.toString());        } else {            // Look for score second            omr.score.Score score = scoreController.getCurrentScore();            if (score != null) {                frame.setTitle(score.getRadix() + " - " + toolInfo);            } else {                frame.setTitle(toolInfo);            }        }    }