String () { String workingDirectory = myWorkingDirectory; if (workingDirectory == null) { workingDirectory = StringUtil.notNullize(TerminalWorkingDirectoryManager.getWorkingDirectory(myWidget.asNewWidget())); myWorkingDirectory = workingDirectory; } return StringUtil.nullize(workingDirectory); }