setDocumentPage    77 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/DocumentPanel.java 				docFrame_.setDocumentPage(jEditorPane_.getPage());
setDocumentPage    97 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/DocumentPanel.java 				if (docFrame_ != null) docFrame_.setDocumentPage(url);