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