Re: [tlaplus] TLA+ Toolbox java exception

This is the log file.

Regards,

Yves

2013/12/19 Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>

On 12/19/2013 03:02 PM, yves teissier wrote:
> I have an error when I want to open a specification with TLA toolbox.
> Toolbox version : 1.4.7
> OS : Windows 7 professional SP 1 64bits
> Java : version 7 (build 1.7.0_45-b18)
> Specification : PlusCal.tla (or another. I want only to try the toolbox)

Hi Yves,

is there a log file in workspace/.metadata/.log with a complete stack
trace of the NullPointerException?

Thanks
Markus

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/bTjUnQKkEMo/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/groups/opt_out.

!SESSION 2013-12-17 11:39:36.743 ----------------------------------------------- eclipse.buildId=1.4.2 java.version=1.6.0_30 java.vendor=Sun Microsystems Inc. BootLoader constants: OS=win32, ARCH=x86_64, WS=win32, NL=fr_FR Command-line arguments: -os win32 -ws win32 -arch x86_64 !ENTRY org.lamport.tla.toolbox.product.standalone 1 -1 2013-12-17 11:39:44.353 !MESSAGE TLA+ Toolbox started without arguments. !ENTRY org.eclipse.ui 4 4 2013-12-17 11:39:45.394 !MESSAGE Plugin org.lamport.tla.toolbox, extension org.eclipse.ui.perspectiveExtensions, id toolbox.view.ToolboxWelcomeView: Attribute 'relative' not defined. This attribute is required when relationship="left". !ENTRY org.eclipse.ui 4 4 2013-12-17 11:39:45.396 !MESSAGE Unable to process element: view in perspective extension: null !ENTRY org.eclipse.equinox.p2.transport.ecf 2 0 2013-12-17 11:41:13.149 !MESSAGE Connection to http://lamport.org/tlatoolbox/toolboxUpdate/p2.index failed on Connection timed out: connect. Retry attempt 0 started !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.performConnect(HttpClientRetrieveFileTransfer.java:1142) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.openStreams(HttpClientRetrieveFileTransfer.java:710) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:889) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:576) at org.eclipse.ecf.provider.filetransfer.retrieve.MultiProtocolRetrieveAdapter.sendRetrieveRequest(MultiProtocolRetrieveAdapter.java:106) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.sendRetrieveRequest(FileReader.java:349) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.readInto(FileReader.java:295) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:80) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:130) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadIndexFile(AbstractRepositoryManager.java:721) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:640) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.getAvailableRepositories(UpdateChecker.java:150) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.checkForUpdates(UpdateChecker.java:128) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker$UpdateCheckThread.run(UpdateChecker.java:72) !ENTRY org.eclipse.equinox.p2.transport.ecf 4 1002 2013-12-17 11:45:25.469 !MESSAGE Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.transport.ecf 2 0 2013-12-17 11:46:49.501 !MESSAGE Connection to http://lamport.org/tlatoolbox/toolboxUpdate/p2.index failed on Connection timed out: connect. Retry attempt 0 started !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.performConnect(HttpClientRetrieveFileTransfer.java:1142) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.openStreams(HttpClientRetrieveFileTransfer.java:710) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:889) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:576) at org.eclipse.ecf.provider.filetransfer.retrieve.MultiProtocolRetrieveAdapter.sendRetrieveRequest(MultiProtocolRetrieveAdapter.java:106) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.sendRetrieveRequest(FileReader.java:349) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.readInto(FileReader.java:295) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:80) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:130) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadIndexFile(AbstractRepositoryManager.java:721) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:640) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.getAvailableRepositories(UpdateChecker.java:150) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.checkForUpdates(UpdateChecker.java:128) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker$UpdateCheckThread.run(UpdateChecker.java:72) !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 11:46:55.832 !MESSAGE Error creating the project test !STACK 1 org.eclipse.core.internal.resources.ResourceException: Invalid project description. at org.eclipse.core.internal.resources.Project.checkDescription(Project.java:175) at org.eclipse.core.internal.resources.Project.assertCreateRequirements(Project.java:53) at org.eclipse.core.internal.resources.Project.create(Project.java:287) at org.eclipse.core.internal.resources.Project.create(Project.java:269) at org.lamport.tla.toolbox.util.ResourceHelper.getProject(ResourceHelper.java:338) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:159) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) Contains: OK Contains: C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\test.toolbox overlaps the location of another project: 'test.toolbox' !SUBENTRY 1 org.eclipse.core.resources 4 77 2013-12-17 11:46:55.833 !MESSAGE Invalid project description. !SUBENTRY 2 unknown 0 0 2013-12-17 11:46:55.833 !MESSAGE OK !SUBENTRY 2 org.eclipse.core.resources 4 77 2013-12-17 11:46:55.833 !MESSAGE C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\test.toolbox overlaps the location of another project: 'test.toolbox' !ENTRY org.eclipse.core.resources 4 4 2013-12-17 11:46:55.904 !MESSAGE Exception occurred while saving project preferences: /test/.settings/org.lamport.tla.toolbox.prefs. !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/test' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Folder.assertCreateRequirements(Folder.java:33) at org.eclipse.core.internal.resources.Folder.create(Folder.java:95) at org.eclipse.core.internal.resources.ProjectPreferences$2.run(ProjectPreferences.java:611) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344) at org.eclipse.core.internal.resources.ProjectPreferences.save(ProjectPreferences.java:628) at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:353) at org.eclipse.core.internal.resources.ProjectPreferences.flush(ProjectPreferences.java:380) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeProferences(PreferenceStoreHelper.java:81) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeRootFilename(PreferenceStoreHelper.java:29) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:161) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-17 11:46:55.905 !MESSAGE Resource '/test' does not exist. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 11:46:55.905 !MESSAGE Error storing the preference node !STACK 0 org.osgi.service.prefs.BackingStoreException: Exception occurred while saving project preferences: /test/.settings/org.lamport.tla.toolbox.prefs. at org.eclipse.core.internal.resources.ProjectPreferences.save(ProjectPreferences.java:636) at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:353) at org.eclipse.core.internal.resources.ProjectPreferences.flush(ProjectPreferences.java:380) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeProferences(PreferenceStoreHelper.java:81) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeRootFilename(PreferenceStoreHelper.java:29) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:161) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-17 11:46:55.923 !MESSAGE footFileName = C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\test.tla !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 11:46:55.924 !MESSAGE Error creating resource link to C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\test.tla !STACK 1 org.eclipse.core.internal.resources.ResourceException: Cannot create linked resource '/test/test.tla'. The parent resource is not accessible. at org.eclipse.core.internal.resources.Resource.assertLinkRequirements(Resource.java:160) at org.eclipse.core.internal.resources.Resource.createLink(Resource.java:649) at org.eclipse.core.internal.resources.Resource.createLink(Resource.java:623) at org.lamport.tla.toolbox.util.ResourceHelper.getLinkedFile(ResourceHelper.java:383) at org.lamport.tla.toolbox.util.ResourceHelper.getLinkedFile(ResourceHelper.java:468) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.readProjectRootFile(PreferenceStoreHelper.java:46) at org.lamport.tla.toolbox.spec.Spec.initProjectProperties(Spec.java:172) at org.lamport.tla.toolbox.spec.Spec.<init>(Spec.java:128) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:163) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 77 2013-12-17 11:46:55.924 !MESSAGE Cannot create linked resource '/test/test.tla'. The parent resource is not accessible. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 11:46:55.925 !MESSAGE A spec did not load correctly, probably because it was modified outside the Toolbox. Error occurred in toolbox/spec/Spec.initProjectProperties() !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 11:46:55.969 !MESSAGE Error changing the timestamp of the spec !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/test' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Resource.checkAccessibleAndLocal(Resource.java:200) at org.eclipse.core.internal.resources.Resource.touch(Resource.java:1901) at org.eclipse.core.internal.resources.Project.touch(Project.java:1403) at org.lamport.tla.toolbox.spec.Spec.setLastModified(Spec.java:230) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:164) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-17 11:46:55.970 !MESSAGE Resource '/test' does not exist. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 11:46:56.021 !MESSAGE Error changing the timestamp of the spec !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/test' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Resource.checkAccessibleAndLocal(Resource.java:200) at org.eclipse.core.internal.resources.Resource.touch(Resource.java:1901) at org.eclipse.core.internal.resources.Project.touch(Project.java:1403) at org.lamport.tla.toolbox.spec.Spec.setLastModified(Spec.java:230) at org.lamport.tla.toolbox.spec.manager.WorkspaceSpecManager.setSpecLoaded(WorkspaceSpecManager.java:240) at org.lamport.tla.toolbox.ui.handler.OpenSpecHandler$1.run(OpenSpecHandler.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-17 11:46:56.021 !MESSAGE Resource '/test' does not exist. !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-17 11:46:56.027 !MESSAGE Spec build invoked on test ... !ENTRY org.eclipse.core.jobs 4 2 2013-12-17 11:46:56.029 !MESSAGE An internal error occurred during: "OpenSpecHandler is parsing spec...". !STACK 0 java.lang.NullPointerException at org.lamport.tla.toolbox.spec.parser.SpecificationParserLauncher.parseSpecification(SpecificationParserLauncher.java:35) at org.lamport.tla.toolbox.spec.nature.ParserHelper$2.run(ParserHelper.java:75) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2326) at org.lamport.tla.toolbox.spec.nature.ParserHelper.rebuildSpec(ParserHelper.java:84) at org.lamport.tla.toolbox.ui.handler.OpenSpecHandler$1.run(OpenSpecHandler.java:71) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.transport.ecf 4 1002 2013-12-17 11:51:01.833 !MESSAGE Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 15:22:48.338 !MESSAGE Error creating the project peterson !STACK 1 org.eclipse.core.internal.resources.ResourceException: Invalid project description. at org.eclipse.core.internal.resources.Project.checkDescription(Project.java:175) at org.eclipse.core.internal.resources.Project.assertCreateRequirements(Project.java:53) at org.eclipse.core.internal.resources.Project.create(Project.java:287) at org.eclipse.core.internal.resources.Project.create(Project.java:269) at org.lamport.tla.toolbox.util.ResourceHelper.getProject(ResourceHelper.java:338) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:159) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) Contains: OK Contains: C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\peterson.toolbox overlaps the location of another project: 'peterson.toolbox' !SUBENTRY 1 org.eclipse.core.resources 4 77 2013-12-17 15:22:48.339 !MESSAGE Invalid project description. !SUBENTRY 2 unknown 0 0 2013-12-17 15:22:48.339 !MESSAGE OK !SUBENTRY 2 org.eclipse.core.resources 4 77 2013-12-17 15:22:48.339 !MESSAGE C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\peterson.toolbox overlaps the location of another project: 'peterson.toolbox' !ENTRY org.eclipse.core.resources 4 4 2013-12-17 15:22:48.431 !MESSAGE Exception occurred while saving project preferences: /peterson/.settings/org.lamport.tla.toolbox.prefs. !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/peterson' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Folder.assertCreateRequirements(Folder.java:33) at org.eclipse.core.internal.resources.Folder.create(Folder.java:95) at org.eclipse.core.internal.resources.ProjectPreferences$2.run(ProjectPreferences.java:611) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344) at org.eclipse.core.internal.resources.ProjectPreferences.save(ProjectPreferences.java:628) at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:353) at org.eclipse.core.internal.resources.ProjectPreferences.flush(ProjectPreferences.java:380) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeProferences(PreferenceStoreHelper.java:81) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeRootFilename(PreferenceStoreHelper.java:29) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:161) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-17 15:22:48.431 !MESSAGE Resource '/peterson' does not exist. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 15:22:48.433 !MESSAGE Error storing the preference node !STACK 0 org.osgi.service.prefs.BackingStoreException: Exception occurred while saving project preferences: /peterson/.settings/org.lamport.tla.toolbox.prefs. at org.eclipse.core.internal.resources.ProjectPreferences.save(ProjectPreferences.java:636) at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:353) at org.eclipse.core.internal.resources.ProjectPreferences.flush(ProjectPreferences.java:380) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeProferences(PreferenceStoreHelper.java:81) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeRootFilename(PreferenceStoreHelper.java:29) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:161) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-17 15:22:48.435 !MESSAGE footFileName = C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\peterson.tla !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 15:22:48.437 !MESSAGE Error creating resource link to C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\peterson.tla !STACK 1 org.eclipse.core.internal.resources.ResourceException: Cannot create linked resource '/peterson/peterson.tla'. The parent resource is not accessible. at org.eclipse.core.internal.resources.Resource.assertLinkRequirements(Resource.java:160) at org.eclipse.core.internal.resources.Resource.createLink(Resource.java:649) at org.eclipse.core.internal.resources.Resource.createLink(Resource.java:623) at org.lamport.tla.toolbox.util.ResourceHelper.getLinkedFile(ResourceHelper.java:383) at org.lamport.tla.toolbox.util.ResourceHelper.getLinkedFile(ResourceHelper.java:468) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.readProjectRootFile(PreferenceStoreHelper.java:46) at org.lamport.tla.toolbox.spec.Spec.initProjectProperties(Spec.java:172) at org.lamport.tla.toolbox.spec.Spec.<init>(Spec.java:128) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:163) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 77 2013-12-17 15:22:48.438 !MESSAGE Cannot create linked resource '/peterson/peterson.tla'. The parent resource is not accessible. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 15:22:48.439 !MESSAGE A spec did not load correctly, probably because it was modified outside the Toolbox. Error occurred in toolbox/spec/Spec.initProjectProperties() !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 15:22:48.440 !MESSAGE Error changing the timestamp of the spec !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/peterson' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Resource.checkAccessibleAndLocal(Resource.java:200) at org.eclipse.core.internal.resources.Resource.touch(Resource.java:1901) at org.eclipse.core.internal.resources.Project.touch(Project.java:1403) at org.lamport.tla.toolbox.spec.Spec.setLastModified(Spec.java:230) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:164) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-17 15:22:48.441 !MESSAGE Resource '/peterson' does not exist. !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-17 15:22:48.443 !MESSAGE Exception thrown when setting project LAST_CLOSED time. !ENTRY org.eclipse.ui 4 4 2013-12-17 15:22:48.462 !MESSAGE Plugin org.lamport.tla.toolbox, extension org.eclipse.ui.perspectiveExtensions, id toolbox.view.ToolboxWelcomeView: Attribute 'relative' not defined. This attribute is required when relationship="left". !ENTRY org.eclipse.ui 4 4 2013-12-17 15:22:48.463 !MESSAGE Unable to process element: view in perspective extension: null !ENTRY org.lamport.tla.toolbox 4 0 2013-12-17 15:22:48.691 !MESSAGE Error changing the timestamp of the spec !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/peterson' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Resource.checkAccessibleAndLocal(Resource.java:200) at org.eclipse.core.internal.resources.Resource.touch(Resource.java:1901) at org.eclipse.core.internal.resources.Project.touch(Project.java:1403) at org.lamport.tla.toolbox.spec.Spec.setLastModified(Spec.java:230) at org.lamport.tla.toolbox.spec.manager.WorkspaceSpecManager.setSpecLoaded(WorkspaceSpecManager.java:240) at org.lamport.tla.toolbox.ui.handler.OpenSpecHandler$1.run(OpenSpecHandler.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-17 15:22:48.691 !MESSAGE Resource '/peterson' does not exist. !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-17 15:22:48.692 !MESSAGE Spec build invoked on peterson ... !ENTRY org.eclipse.core.jobs 4 2 2013-12-17 15:22:48.696 !MESSAGE An internal error occurred during: "OpenSpecHandler is parsing spec...". !STACK 0 java.lang.NullPointerException at org.lamport.tla.toolbox.spec.parser.SpecificationParserLauncher.parseSpecification(SpecificationParserLauncher.java:35) at org.lamport.tla.toolbox.spec.nature.ParserHelper$2.run(ParserHelper.java:75) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2326) at org.lamport.tla.toolbox.spec.nature.ParserHelper.rebuildSpec(ParserHelper.java:84) at org.lamport.tla.toolbox.ui.handler.OpenSpecHandler$1.run(OpenSpecHandler.java:71) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SESSION 2013-12-19 11:38:11.150 ----------------------------------------------- eclipse.buildId=1.4.2 java.version=1.6.0_30 java.vendor=Sun Microsystems Inc. BootLoader constants: OS=win32, ARCH=x86_64, WS=win32, NL=fr_FR Command-line arguments: -os win32 -ws win32 -arch x86_64 !ENTRY org.lamport.tla.toolbox.product.standalone 1 -1 2013-12-19 11:38:21.503 !MESSAGE TLA+ Toolbox started without arguments. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 11:39:02.244 !MESSAGE Error creating the project PlusCal !STACK 1 org.eclipse.core.internal.resources.ResourceException: Invalid project description. at org.eclipse.core.internal.resources.Project.checkDescription(Project.java:175) at org.eclipse.core.internal.resources.Project.assertCreateRequirements(Project.java:53) at org.eclipse.core.internal.resources.Project.create(Project.java:287) at org.eclipse.core.internal.resources.Project.create(Project.java:269) at org.lamport.tla.toolbox.util.ResourceHelper.getProject(ResourceHelper.java:338) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:159) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) Contains: OK Contains: C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\PlusCal.toolbox overlaps the location of another project: 'PlusCal.toolbox' !SUBENTRY 1 org.eclipse.core.resources 4 77 2013-12-19 11:39:02.244 !MESSAGE Invalid project description. !SUBENTRY 2 unknown 0 0 2013-12-19 11:39:02.244 !MESSAGE OK !SUBENTRY 2 org.eclipse.core.resources 4 77 2013-12-19 11:39:02.245 !MESSAGE C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\PlusCal.toolbox overlaps the location of another project: 'PlusCal.toolbox' !ENTRY org.eclipse.core.resources 4 4 2013-12-19 11:39:02.438 !MESSAGE Exception occurred while saving project preferences: /PlusCal/.settings/org.lamport.tla.toolbox.prefs. !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/PlusCal' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Folder.assertCreateRequirements(Folder.java:33) at org.eclipse.core.internal.resources.Folder.create(Folder.java:95) at org.eclipse.core.internal.resources.ProjectPreferences$2.run(ProjectPreferences.java:611) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344) at org.eclipse.core.internal.resources.ProjectPreferences.save(ProjectPreferences.java:628) at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:353) at org.eclipse.core.internal.resources.ProjectPreferences.flush(ProjectPreferences.java:380) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeProferences(PreferenceStoreHelper.java:81) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeRootFilename(PreferenceStoreHelper.java:29) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:161) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-19 11:39:02.438 !MESSAGE Resource '/PlusCal' does not exist. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 11:39:02.439 !MESSAGE Error storing the preference node !STACK 0 org.osgi.service.prefs.BackingStoreException: Exception occurred while saving project preferences: /PlusCal/.settings/org.lamport.tla.toolbox.prefs. at org.eclipse.core.internal.resources.ProjectPreferences.save(ProjectPreferences.java:636) at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:353) at org.eclipse.core.internal.resources.ProjectPreferences.flush(ProjectPreferences.java:380) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeProferences(PreferenceStoreHelper.java:81) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeRootFilename(PreferenceStoreHelper.java:29) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:161) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-19 11:39:02.453 !MESSAGE footFileName = C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\PlusCal.tla !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 11:39:02.456 !MESSAGE Error creating resource link to C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\PlusCal.tla !STACK 1 org.eclipse.core.internal.resources.ResourceException: Cannot create linked resource '/PlusCal/PlusCal.tla'. The parent resource is not accessible. at org.eclipse.core.internal.resources.Resource.assertLinkRequirements(Resource.java:160) at org.eclipse.core.internal.resources.Resource.createLink(Resource.java:649) at org.eclipse.core.internal.resources.Resource.createLink(Resource.java:623) at org.lamport.tla.toolbox.util.ResourceHelper.getLinkedFile(ResourceHelper.java:383) at org.lamport.tla.toolbox.util.ResourceHelper.getLinkedFile(ResourceHelper.java:468) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.readProjectRootFile(PreferenceStoreHelper.java:46) at org.lamport.tla.toolbox.spec.Spec.initProjectProperties(Spec.java:172) at org.lamport.tla.toolbox.spec.Spec.<init>(Spec.java:128) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:163) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 77 2013-12-19 11:39:02.456 !MESSAGE Cannot create linked resource '/PlusCal/PlusCal.tla'. The parent resource is not accessible. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 11:39:02.458 !MESSAGE A spec did not load correctly, probably because it was modified outside the Toolbox. Error occurred in toolbox/spec/Spec.initProjectProperties() !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 11:39:02.472 !MESSAGE Error changing the timestamp of the spec !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/PlusCal' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Resource.checkAccessibleAndLocal(Resource.java:200) at org.eclipse.core.internal.resources.Resource.touch(Resource.java:1901) at org.eclipse.core.internal.resources.Project.touch(Project.java:1403) at org.lamport.tla.toolbox.spec.Spec.setLastModified(Spec.java:230) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:164) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-19 11:39:02.472 !MESSAGE Resource '/PlusCal' does not exist. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 11:39:02.523 !MESSAGE Error changing the timestamp of the spec !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/PlusCal' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Resource.checkAccessibleAndLocal(Resource.java:200) at org.eclipse.core.internal.resources.Resource.touch(Resource.java:1901) at org.eclipse.core.internal.resources.Project.touch(Project.java:1403) at org.lamport.tla.toolbox.spec.Spec.setLastModified(Spec.java:230) at org.lamport.tla.toolbox.spec.manager.WorkspaceSpecManager.setSpecLoaded(WorkspaceSpecManager.java:240) at org.lamport.tla.toolbox.ui.handler.OpenSpecHandler$1.run(OpenSpecHandler.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-19 11:39:02.523 !MESSAGE Resource '/PlusCal' does not exist. !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-19 11:39:02.971 !MESSAGE Spec build invoked on PlusCal ... !ENTRY org.eclipse.core.jobs 4 2 2013-12-19 11:39:02.988 !MESSAGE An internal error occurred during: "OpenSpecHandler is parsing spec...". !STACK 0 java.lang.NullPointerException at org.lamport.tla.toolbox.spec.parser.SpecificationParserLauncher.parseSpecification(SpecificationParserLauncher.java:35) at org.lamport.tla.toolbox.spec.nature.ParserHelper$2.run(ParserHelper.java:75) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2326) at org.lamport.tla.toolbox.spec.nature.ParserHelper.rebuildSpec(ParserHelper.java:84) at org.lamport.tla.toolbox.ui.handler.OpenSpecHandler$1.run(OpenSpecHandler.java:71) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.transport.ecf 2 0 2013-12-19 11:39:52.178 !MESSAGE Connection to http://lamport.org/tlatoolbox/toolboxUpdate/p2.index failed on Connection timed out: connect. Retry attempt 0 started !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.performConnect(HttpClientRetrieveFileTransfer.java:1142) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.openStreams(HttpClientRetrieveFileTransfer.java:710) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:889) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:576) at org.eclipse.ecf.provider.filetransfer.retrieve.MultiProtocolRetrieveAdapter.sendRetrieveRequest(MultiProtocolRetrieveAdapter.java:106) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.sendRetrieveRequest(FileReader.java:349) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.readInto(FileReader.java:295) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:80) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:130) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadIndexFile(AbstractRepositoryManager.java:721) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:640) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.getAvailableRepositories(UpdateChecker.java:150) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.checkForUpdates(UpdateChecker.java:128) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker$UpdateCheckThread.run(UpdateChecker.java:72) !ENTRY org.eclipse.equinox.p2.transport.ecf 4 1002 2013-12-19 11:44:04.541 !MESSAGE Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.transport.ecf 2 0 2013-12-19 11:45:28.581 !MESSAGE Connection to http://lamport.org/tlatoolbox/toolboxUpdate/p2.index failed on Connection timed out: connect. Retry attempt 0 started !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.performConnect(HttpClientRetrieveFileTransfer.java:1142) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.openStreams(HttpClientRetrieveFileTransfer.java:710) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:889) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:576) at org.eclipse.ecf.provider.filetransfer.retrieve.MultiProtocolRetrieveAdapter.sendRetrieveRequest(MultiProtocolRetrieveAdapter.java:106) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.sendRetrieveRequest(FileReader.java:349) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.readInto(FileReader.java:295) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:80) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:130) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadIndexFile(AbstractRepositoryManager.java:721) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:640) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.getAvailableRepositories(UpdateChecker.java:150) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.checkForUpdates(UpdateChecker.java:128) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker$UpdateCheckThread.run(UpdateChecker.java:72) !ENTRY org.eclipse.equinox.p2.transport.ecf 4 1002 2013-12-19 11:49:40.872 !MESSAGE Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.lamport.tla.toolbox.tool.tlc.ui 2 0 2013-12-19 11:58:10.444 !MESSAGE BUG: no specObject !ENTRY org.eclipse.equinox.p2.transport.ecf 2 0 2013-12-19 11:58:59.115 !MESSAGE Connection to http://lamport.org/tlatoolbox/toolboxUpdate/p2.index failed on Connection timed out: connect. Retry attempt 0 started !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.performConnect(HttpClientRetrieveFileTransfer.java:1142) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.openStreams(HttpClientRetrieveFileTransfer.java:710) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:889) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:576) at org.eclipse.ecf.provider.filetransfer.retrieve.MultiProtocolRetrieveAdapter.sendRetrieveRequest(MultiProtocolRetrieveAdapter.java:106) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.sendRetrieveRequest(FileReader.java:349) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.readInto(FileReader.java:295) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:80) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:130) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadIndexFile(AbstractRepositoryManager.java:721) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:640) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.p2.ui.LoadMetadataRepositoryJob.doLoad(LoadMetadataRepositoryJob.java:117) at org.eclipse.equinox.p2.ui.LoadMetadataRepositoryJob.runModal(LoadMetadataRepositoryJob.java:102) at org.eclipse.equinox.internal.p2.ui.sdk.PreloadingRepositoryHandler$2.runModal(PreloadingRepositoryHandler.java:82) at org.eclipse.equinox.p2.operations.ProvisioningJob.run(ProvisioningJob.java:177) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.core 4 0 2013-12-19 12:03:11.406 !MESSAGE Provisioning exception !STACK 1 org.eclipse.equinox.p2.core.ProvisionException: Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml at org.eclipse.equinox.internal.p2.repository.CacheManager.createCache(CacheManager.java:189) at org.eclipse.equinox.internal.p2.metadata.repository.SimpleMetadataRepositoryFactory.getLocalFile(SimpleMetadataRepositoryFactory.java:66) at org.eclipse.equinox.internal.p2.metadata.repository.SimpleMetadataRepositoryFactory.load(SimpleMetadataRepositoryFactory.java:88) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.factoryLoad(MetadataRepositoryManager.java:57) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:749) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:651) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.p2.ui.LoadMetadataRepositoryJob.doLoad(LoadMetadataRepositoryJob.java:117) at org.eclipse.equinox.p2.ui.LoadMetadataRepositoryJob.runModal(LoadMetadataRepositoryJob.java:102) at org.eclipse.equinox.internal.p2.ui.sdk.PreloadingRepositoryHandler$2.runModal(PreloadingRepositoryHandler.java:82) at org.eclipse.equinox.p2.operations.ProvisioningJob.run(ProvisioningJob.java:177) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) Caused by: java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) ... 1 more !SUBENTRY 1 org.eclipse.equinox.p2.transport.ecf 4 1002 2013-12-19 12:03:11.409 !MESSAGE Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.transport.ecf 2 0 2013-12-19 12:04:35.455 !MESSAGE Connection to http://lamport.org/tlatoolbox/toolboxUpdate/p2.index failed on Connection timed out: connect. Retry attempt 0 started !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.performConnect(HttpClientRetrieveFileTransfer.java:1142) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.openStreams(HttpClientRetrieveFileTransfer.java:710) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:889) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:576) at org.eclipse.ecf.provider.filetransfer.retrieve.MultiProtocolRetrieveAdapter.sendRetrieveRequest(MultiProtocolRetrieveAdapter.java:106) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.sendRetrieveRequest(FileReader.java:349) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.readInto(FileReader.java:295) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:80) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:130) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadIndexFile(AbstractRepositoryManager.java:721) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:640) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.p2.engine.ProvisioningContext.loadMetadataRepository(ProvisioningContext.java:211) at org.eclipse.equinox.p2.engine.ProvisioningContext.getLoadedMetadataRepositories(ProvisioningContext.java:194) at org.eclipse.equinox.p2.engine.ProvisioningContext.getMetadata(ProvisioningContext.java:275) at org.eclipse.equinox.internal.p2.director.SimplePlanner.updatesFor(SimplePlanner.java:771) at org.eclipse.equinox.p2.operations.UpdateOperation.updatesFor(UpdateOperation.java:143) at org.eclipse.equinox.p2.operations.UpdateOperation.computeProfileChangeRequest(UpdateOperation.java:180) at org.eclipse.equinox.p2.operations.UpdateOperation$1.run(UpdateOperation.java:324) at org.eclipse.equinox.internal.p2.operations.SearchForUpdatesResolutionJob.runModal(SearchForUpdatesResolutionJob.java:37) at org.eclipse.equinox.p2.operations.ProfileChangeOperation.resolveModal(ProfileChangeOperation.java:115) at org.eclipse.equinox.internal.p2.ui.sdk.UpdateHandler.doPostLoadBackgroundWork(UpdateHandler.java:49) at org.eclipse.equinox.internal.p2.ui.sdk.PreloadingRepositoryHandler$2.runModal(PreloadingRepositoryHandler.java:86) at org.eclipse.equinox.p2.operations.ProvisioningJob.run(ProvisioningJob.java:177) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.transport.ecf 4 1002 2013-12-19 12:08:47.763 !MESSAGE Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SESSION 2013-12-19 14:48:37.782 ----------------------------------------------- eclipse.buildId=1.4.2 java.version=1.6.0_30 java.vendor=Sun Microsystems Inc. BootLoader constants: OS=win32, ARCH=x86_64, WS=win32, NL=fr_FR Command-line arguments: -os win32 -ws win32 -arch x86_64 !ENTRY org.lamport.tla.toolbox.product.standalone 1 -1 2013-12-19 14:48:40.651 !MESSAGE TLA+ Toolbox started without arguments. !ENTRY org.eclipse.equinox.p2.transport.ecf 2 0 2013-12-19 14:50:08.762 !MESSAGE Connection to http://lamport.org/tlatoolbox/toolboxUpdate/p2.index failed on Connection timed out: connect. Retry attempt 0 started !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.performConnect(HttpClientRetrieveFileTransfer.java:1142) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.openStreams(HttpClientRetrieveFileTransfer.java:710) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:889) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:576) at org.eclipse.ecf.provider.filetransfer.retrieve.MultiProtocolRetrieveAdapter.sendRetrieveRequest(MultiProtocolRetrieveAdapter.java:106) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.sendRetrieveRequest(FileReader.java:349) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.readInto(FileReader.java:295) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:80) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:130) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadIndexFile(AbstractRepositoryManager.java:721) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:640) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.getAvailableRepositories(UpdateChecker.java:150) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.checkForUpdates(UpdateChecker.java:128) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker$UpdateCheckThread.run(UpdateChecker.java:72) !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 14:52:17.319 !MESSAGE Error creating the project PlusCal !STACK 1 org.eclipse.core.internal.resources.ResourceException: Invalid project description. at org.eclipse.core.internal.resources.Project.checkDescription(Project.java:175) at org.eclipse.core.internal.resources.Project.assertCreateRequirements(Project.java:53) at org.eclipse.core.internal.resources.Project.create(Project.java:287) at org.eclipse.core.internal.resources.Project.create(Project.java:269) at org.lamport.tla.toolbox.util.ResourceHelper.getProject(ResourceHelper.java:338) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:159) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) Contains: OK Contains: C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\PlusCal.toolbox overlaps the location of another project: 'PlusCal.toolbox' !SUBENTRY 1 org.eclipse.core.resources 4 77 2013-12-19 14:52:17.320 !MESSAGE Invalid project description. !SUBENTRY 2 unknown 0 0 2013-12-19 14:52:17.320 !MESSAGE OK !SUBENTRY 2 org.eclipse.core.resources 4 77 2013-12-19 14:52:17.320 !MESSAGE C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\PlusCal.toolbox overlaps the location of another project: 'PlusCal.toolbox' !ENTRY org.eclipse.core.resources 4 4 2013-12-19 14:52:17.432 !MESSAGE Exception occurred while saving project preferences: /PlusCal/.settings/org.lamport.tla.toolbox.prefs. !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/PlusCal' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Folder.assertCreateRequirements(Folder.java:33) at org.eclipse.core.internal.resources.Folder.create(Folder.java:95) at org.eclipse.core.internal.resources.ProjectPreferences$2.run(ProjectPreferences.java:611) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344) at org.eclipse.core.internal.resources.ProjectPreferences.save(ProjectPreferences.java:628) at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:353) at org.eclipse.core.internal.resources.ProjectPreferences.flush(ProjectPreferences.java:380) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeProferences(PreferenceStoreHelper.java:81) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeRootFilename(PreferenceStoreHelper.java:29) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:161) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-19 14:52:17.432 !MESSAGE Resource '/PlusCal' does not exist. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 14:52:17.433 !MESSAGE Error storing the preference node !STACK 0 org.osgi.service.prefs.BackingStoreException: Exception occurred while saving project preferences: /PlusCal/.settings/org.lamport.tla.toolbox.prefs. at org.eclipse.core.internal.resources.ProjectPreferences.save(ProjectPreferences.java:636) at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:353) at org.eclipse.core.internal.resources.ProjectPreferences.flush(ProjectPreferences.java:380) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeProferences(PreferenceStoreHelper.java:81) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.storeRootFilename(PreferenceStoreHelper.java:29) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:161) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-19 14:52:17.548 !MESSAGE footFileName = C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\PlusCal.tla !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 14:52:17.549 !MESSAGE Error creating resource link to C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\PlusCal.tla !STACK 1 org.eclipse.core.internal.resources.ResourceException: Cannot create linked resource '/PlusCal/PlusCal.tla'. The parent resource is not accessible. at org.eclipse.core.internal.resources.Resource.assertLinkRequirements(Resource.java:160) at org.eclipse.core.internal.resources.Resource.createLink(Resource.java:649) at org.eclipse.core.internal.resources.Resource.createLink(Resource.java:623) at org.lamport.tla.toolbox.util.ResourceHelper.getLinkedFile(ResourceHelper.java:383) at org.lamport.tla.toolbox.util.ResourceHelper.getLinkedFile(ResourceHelper.java:468) at org.lamport.tla.toolbox.util.pref.PreferenceStoreHelper.readProjectRootFile(PreferenceStoreHelper.java:46) at org.lamport.tla.toolbox.spec.Spec.initProjectProperties(Spec.java:172) at org.lamport.tla.toolbox.spec.Spec.<init>(Spec.java:128) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:163) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 77 2013-12-19 14:52:17.549 !MESSAGE Cannot create linked resource '/PlusCal/PlusCal.tla'. The parent resource is not accessible. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 14:52:17.550 !MESSAGE A spec did not load correctly, probably because it was modified outside the Toolbox. Error occurred in toolbox/spec/Spec.initProjectProperties() !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 14:52:17.563 !MESSAGE Error changing the timestamp of the spec !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/PlusCal' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Resource.checkAccessibleAndLocal(Resource.java:200) at org.eclipse.core.internal.resources.Resource.touch(Resource.java:1901) at org.eclipse.core.internal.resources.Project.touch(Project.java:1403) at org.lamport.tla.toolbox.spec.Spec.setLastModified(Spec.java:230) at org.lamport.tla.toolbox.spec.Spec.createNewSpec(Spec.java:164) at org.lamport.tla.toolbox.ui.handler.NewSpecHandler$1.run(NewSpecHandler.java:110) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-19 14:52:17.563 !MESSAGE Resource '/PlusCal' does not exist. !ENTRY org.lamport.tla.toolbox 4 0 2013-12-19 14:52:17.573 !MESSAGE Error changing the timestamp of the spec !STACK 1 org.eclipse.core.internal.resources.ResourceException: Resource '/PlusCal' does not exist. at org.eclipse.core.internal.resources.Resource.checkExists(Resource.java:320) at org.eclipse.core.internal.resources.Resource.checkAccessible(Resource.java:194) at org.eclipse.core.internal.resources.Project.checkAccessible(Project.java:147) at org.eclipse.core.internal.resources.Resource.checkAccessibleAndLocal(Resource.java:200) at org.eclipse.core.internal.resources.Resource.touch(Resource.java:1901) at org.eclipse.core.internal.resources.Project.touch(Project.java:1403) at org.lamport.tla.toolbox.spec.Spec.setLastModified(Spec.java:230) at org.lamport.tla.toolbox.spec.manager.WorkspaceSpecManager.setSpecLoaded(WorkspaceSpecManager.java:240) at org.lamport.tla.toolbox.ui.handler.OpenSpecHandler$1.run(OpenSpecHandler.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !SUBENTRY 1 org.eclipse.core.resources 4 368 2013-12-19 14:52:17.574 !MESSAGE Resource '/PlusCal' does not exist. !ENTRY org.lamport.tla.toolbox 1 -1 2013-12-19 14:52:17.580 !MESSAGE Spec build invoked on PlusCal ... !ENTRY org.eclipse.core.jobs 4 2 2013-12-19 14:52:17.588 !MESSAGE An internal error occurred during: "OpenSpecHandler is parsing spec...". !STACK 0 java.lang.NullPointerException at org.lamport.tla.toolbox.spec.parser.SpecificationParserLauncher.parseSpecification(SpecificationParserLauncher.java:35) at org.lamport.tla.toolbox.spec.nature.ParserHelper$2.run(ParserHelper.java:75) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2344) at org.eclipse.core.internal.resources.Workspace.run(Workspace.java:2326) at org.lamport.tla.toolbox.spec.nature.ParserHelper.rebuildSpec(ParserHelper.java:84) at org.lamport.tla.toolbox.ui.handler.OpenSpecHandler$1.run(OpenSpecHandler.java:71) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.transport.ecf 4 1002 2013-12-19 14:54:21.068 !MESSAGE Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54) !ENTRY org.eclipse.equinox.p2.transport.ecf 2 0 2013-12-19 14:55:45.089 !MESSAGE Connection to http://lamport.org/tlatoolbox/toolboxUpdate/p2.index failed on Connection timed out: connect. Retry attempt 0 started !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.performConnect(HttpClientRetrieveFileTransfer.java:1142) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientRetrieveFileTransfer.openStreams(HttpClientRetrieveFileTransfer.java:710) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:889) at org.eclipse.ecf.provider.filetransfer.retrieve.AbstractRetrieveFileTransfer.sendRetrieveRequest(AbstractRetrieveFileTransfer.java:576) at org.eclipse.ecf.provider.filetransfer.retrieve.MultiProtocolRetrieveAdapter.sendRetrieveRequest(MultiProtocolRetrieveAdapter.java:106) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.sendRetrieveRequest(FileReader.java:349) at org.eclipse.equinox.internal.p2.transport.ecf.FileReader.readInto(FileReader.java:295) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:80) at org.eclipse.equinox.internal.p2.transport.ecf.RepositoryTransport.download(RepositoryTransport.java:130) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadIndexFile(AbstractRepositoryManager.java:721) at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository(AbstractRepositoryManager.java:640) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:96) at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository(MetadataRepositoryManager.java:92) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.getAvailableRepositories(UpdateChecker.java:150) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker.checkForUpdates(UpdateChecker.java:128) at org.eclipse.equinox.internal.p2.updatechecker.UpdateChecker$UpdateCheckThread.run(UpdateChecker.java:72) !ENTRY org.eclipse.equinox.p2.transport.ecf 4 1002 2013-12-19 14:59:57.305 !MESSAGE Unable to connect to repository http://lamport.org/tlatoolbox/toolboxUpdate/content.xml !STACK 0 java.net.ConnectException: Connection timed out: connect at java.net.PlainSocketImpl.socketConnect(Native Method) at java.net.PlainSocketImpl.doConnect(Unknown Source) at java.net.PlainSocketImpl.connectToAddress(Unknown Source) at java.net.PlainSocketImpl.connect(Unknown Source) at java.net.SocksSocketImpl.connect(Unknown Source) at java.net.Socket.connect(Unknown Source) at org.eclipse.ecf.provider.filetransfer.events.socket.SocketEventCreateUtil.createSocket(SocketEventCreateUtil.java:43) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:81) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:73) at org.eclipse.ecf.internal.provider.filetransfer.httpclient.ECFHttpClientProtocolSocketFactory.createSocket(ECFHttpClientProtocolSocketFactory.java:65) at org.apache.commons.httpclient.HttpConnection.open(HttpConnection.java:707) at org.apache.commons.httpclient.MultiThreadedHttpConnectionManager$HttpConnectionAdapter.open(MultiThreadedHttpConnectionManager.java:1361) at org.apache.commons.httpclient.HttpMethodDirector.executeWithRetry(HttpMethodDirector.java:387) at org.apache.commons.httpclient.HttpMethodDirector.executeMethod(HttpMethodDirector.java:171) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:397) at org.apache.commons.httpclient.HttpClient.executeMethod(HttpClient.java:346) at org.eclipse.ecf.provider.filetransfer.httpclient.HttpClientFileSystemBrowser.runRequest(HttpClientFileSystemBrowser.java:227) at org.eclipse.ecf.provider.filetransfer.browse.AbstractFileSystemBrowser$DirectoryJob.run(AbstractFileSystemBrowser.java:69) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)