@@ -677,12 +677,12 @@ public void run() { JEditorPane.this.firePropertyChange("page", old, page); } }); } - return (pageLoaded ? page : old); } + return (pageLoaded ? page : old); } /** * The stream to load the document with */