code: FileWindow getFileWindow(String url) {
          if (url == null || url.equals("<stdin>")) {
              return null;
          }
          return fileWindows.get(url);
      }
docs: Returns the {@link FileWindow} for the given URL.