Reproduce steps:
1.On Mercury12b,mozilla1.4(2003/11/11),jre1.4.2_02-b03
2.On terminal,start jedit
3.Open jedit help, select "jEdit Frequently Asked Questions ->jEdit Community web site"
4.Then,there is a Read Error box pops up and error info on terminal:
[error] java.net.UnknownHostException: community.jedit.org
[error] at java.net.PlainSocketImpl.connect(Unknown Source)
[error] at java.net.Socket.connect(Unknown Source)
[error] at java.net.Socket.connect(Unknown Source)
[error] at sun.net.NetworkClient.doConnect(Unknown Source)
[error] at sun.net.www.http.HttpClient.openServer(Unknown Source)
[error] at sun.net.www.http.HttpClient.openServer(Unknown Source)
[error] at sun.net.www.http.HttpClient.<init>(Unknown Source)
[error] at sun.net.www.http.HttpClient.<init>(Unknown Source)
[error] at sun.net.www.http.HttpClient.New(Unknown Source)
[error] at sun.net.www.http.HttpClient.New(Unknown Source)
[error] at sun.net.www.http.HttpClient.New(Unknown Source)
[error] at sun.net.www.protocol.http.HttpURLConnection.plainConnect(Unknown Source)
[error] at sun.net.www.protocol.http.HttpURLConnection.connect(Unknown Source)
[error] at sun.net.www.protocol.http.HttpURLConnection.getInputStream(Unknown Source)
[error] at java.net.HttpURLConnection.getResponseCode(Unknown Source)
[error] at javax.swing.JEditorPane.getStream(Unknown Source)
[error] at javax.swing.JEditorPane.setPage(Unknown Source)
[error] at org.gjt.sp.jedit.help.HelpViewer.gotoURL(Unknown Source)
[error] at org.gjt.sp.jedit.help.HelpViewer$LinkHandler.hyperlinkUpdate(Unknown Source)
[error] at javax.swing.JEditorPane.fireHyperlinkUpdate(Unknown Source)
[error] at javax.swing.text.html.HTMLEditorKit$LinkController.activateLink(Unknown Source)
[error] at javax.swing.text.html.HTMLEditorKit$LinkController.mouseClicked(Unknown Source)
[error] at java.awt.AWTEventMulticaster.mouseClicked(Unknown Source)
[error] at java.awt.Component.processMouseEvent(Unknown Source)
[error] at java.awt.Component.processEvent(Unknown Source)
[error] at java.awt.Container.processEvent(Unknown Source)
[error] at java.awt.Component.dispatchEventImpl(Unknown Source)
[error] at java.awt.Container.dispatchEventImpl(Unknown Source)
[error] at java.awt.Component.dispatchEvent(Unknown Source)
[error] at java.awt.LightweightDispatcher.retargetMouseEvent(Unknown Source)
[error] at java.awt.LightweightDispatcher.processMouseEvent(Unknown Source)
[error] at java.awt.LightweightDispatcher.dispatchEvent(Unknown Source)
[error] at java.awt.Container.dispatchEventImpl(Unknown Source)
[error] at java.awt.Window.dispatchEventImpl(Unknown Source)
[error] at java.awt.Component.dispatchEvent(Unknown Source)
[error] at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] at java.awt.EventDispatchThread.run(Unknown Source)