PG Eclipse Installation Problems and Fixes

If you have had a problem that is not described here, please edit the page, adding a request for help.

This page has been cleared for the new October 2006 release with plugin version 1.0.1.

Please also record success/failure in the table at PGEclipseSuccessesAndFailures so that we can check which versions work and which fail.

Problems and their fixes

Requests for help

The CVS repository doesn't seem to work (link is incorrect?):

c@cek:~$ cvs -d :pserver:anon@cvs.inf.ed.ac.uk/disk/proofgen co Kit/src/pgkit
/disk/proofgen: no such repository
c@cek:~$ cvs -d :pserver:anon@cvs.inf.ed.ac.uk/disk/cvs/proofgen co Kit/src/pgkit
cvs checkout: authorization failed: server cvs.inf.ed.ac.uk rejected access to /disk/cvs/proofgen for user anon


The binary of PGEclipse fails to run with the following error:

!SESSION 2007-01-10 08:42:41.656 -----------------------------------------------
eclipse.buildId=unknown
java.version=1.5.0_10
java.vendor=Sun Microsystems Inc.
BootLoader constants: OS=linux, ARCH=x86, WS=gtk, NL=pl_PL
Command-line arguments:  -os linux -ws gtk -arch x86

!ENTRY org.eclipse.ui 4 4 2007-01-10 08:42:57.400
!MESSAGE Exception in org.eclipse.ui.internal.FolderLayout.addView(String): org.eclipse.ui.PartInitException: View descriptor not found: ed.inf.proofgeneral.views.ErrorView

!ENTRY org.eclipse.ui 4 4 2007-01-10 08:42:57.402
!MESSAGE Exception in org.eclipse.ui.internal.FolderLayout.addView(String): org.eclipse.ui.PartInitException: View descriptor not found: ed.inf.proofgeneral.views.ErrorView
!STACK 1
org.eclipse.ui.PartInitException: View descriptor not found: ed.inf.proofgeneral.views.ErrorView
	at org.eclipse.ui.internal.FolderLayout.addView(FolderLayout.java:74)
	at ed.inf.proofgeneral.PGPerspective.defineLayout(PGPerspective.java:64)
	at ed.inf.proofgeneral.PGPerspective.createInitialLayout(PGPerspective.java:37)
	at org.eclipse.ui.internal.Perspective.loadPredefinedPersp(Perspective.java:697)
	at org.eclipse.ui.internal.Perspective.createPresentation(Perspective.java:219)
	at org.eclipse.ui.internal.Perspective.(Perspective.java:125)
	at org.eclipse.ui.internal.WorkbenchPage.createPerspective(WorkbenchPage.java:1487)
	at org.eclipse.ui.internal.WorkbenchPage.init(WorkbenchPage.java:2273)
	at org.eclipse.ui.internal.WorkbenchPage.(WorkbenchPage.java:543)
	at org.eclipse.ui.internal.WorkbenchWindow.busyOpenPage(WorkbenchWindow.java:655)
	at org.eclipse.ui.internal.Workbench.busyOpenWorkbenchWindow(Workbench.java:795)
	at org.eclipse.ui.internal.Workbench.doOpenFirstTimeWindow(Workbench.java:1437)
	at org.eclipse.ui.internal.Workbench.access$10(Workbench.java:1435)
	at org.eclipse.ui.internal.Workbench$16.run(Workbench.java:1399)
	at org.eclipse.ui.internal.Workbench.runStartupWithProgress(Workbench.java:1414)
	at org.eclipse.ui.internal.Workbench.openFirstTimeWindow(Workbench.java:1397)
	at org.eclipse.ui.internal.WorkbenchConfigurer.openFirstTimeWindow(WorkbenchConfigurer.java:190)
	at org.eclipse.ui.application.WorkbenchAdvisor.openWindows(WorkbenchAdvisor.java:708)
	at org.eclipse.ui.internal.Workbench.init(Workbench.java:1085)
	at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:1847)
	at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:419)
	at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)
	at org.eclipse.ui.internal.ide.IDEApplication.run(IDEApplication.java:95)
	at org.eclipse.core.internal.runtime.PlatformActivator$1.run(PlatformActivator.java:78)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:92)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:68)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:400)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:177)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
	at java.lang.reflect.Method.invoke(Unknown Source)
	at org.eclipse.core.launcher.Main.invokeFramework(Main.java:336)
	at org.eclipse.core.launcher.Main.basicRun(Main.java:280)
	at org.eclipse.core.launcher.Main.run(Main.java:977)
	at org.eclipse.core.launcher.Main.main(Main.java:952)
!SUBENTRY 1 org.eclipse.ui 4 0 2007-01-10 08:42:57.404
!MESSAGE View descriptor not found: ed.inf.proofgeneral.views.ErrorView

!ENTRY org.eclipse.ui.workbench 4 0 2007-01-10 08:42:58.683
!MESSAGE Widget disposed too early!
!STACK 0
java.lang.RuntimeException: Widget disposed too early!
	at org.eclipse.ui.internal.WorkbenchPartReference$1.widgetDisposed(WorkbenchPartReference.java:153)
	at org.eclipse.swt.widgets.TypedListener.handleEvent(TypedListener.java:101)
	at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:66)
	at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1085)
	at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1109)
	at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1090)
	at org.eclipse.swt.widgets.Widget.release(Widget.java:954)
	at org.eclipse.swt.widgets.Control.release(Control.java:2538)
	at org.eclipse.swt.widgets.Composite.releaseChildren(Composite.java:1033)
	at org.eclipse.swt.widgets.Widget.release(Widget.java:957)
	at org.eclipse.swt.widgets.Control.release(Control.java:2538)
	at org.eclipse.swt.widgets.Composite.releaseChildren(Composite.java:1033)
	at org.eclipse.swt.widgets.Widget.release(Widget.java:957)
	at org.eclipse.swt.widgets.Control.release(Control.java:2538)
	at org.eclipse.swt.widgets.Composite.releaseChildren(Composite.java:1033)
	at org.eclipse.swt.widgets.Canvas.releaseChildren(Canvas.java:162)
	at org.eclipse.swt.widgets.Decorations.releaseChildren(Decorations.java:465)
	at org.eclipse.swt.widgets.Shell.releaseChildren(Shell.java:1622)
	at org.eclipse.swt.widgets.Widget.release(Widget.java:957)
	at org.eclipse.swt.widgets.Control.release(Control.java:2538)
	at org.eclipse.swt.widgets.Widget.dispose(Widget.java:430)
	at org.eclipse.swt.widgets.Shell.dispose(Shell.java:1571)
	at org.eclipse.swt.widgets.Display.release(Display.java:2890)
	at org.eclipse.swt.graphics.Device.dispose(Device.java:230)
	at org.eclipse.ui.internal.ide.IDEApplication.run(IDEApplication.java:111)
	at org.eclipse.core.internal.runtime.PlatformActivator$1.run(PlatformActivator.java:78)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:92)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:68)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:400)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:177)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
	at java.lang.reflect.Method.invoke(Unknown Source)
	at org.eclipse.core.launcher.Main.invokeFramework(Main.java:336)
	at org.eclipse.core.launcher.Main.basicRun(Main.java:280)
	at org.eclipse.core.launcher.Main.run(Main.java:977)
	at org.eclipse.core.launcher.Main.main(Main.java:952)

!ENTRY org.eclipse.osgi 4 0 2007-01-10 08:42:58.760
!MESSAGE Application error
!STACK 1
org.eclipse.swt.SWTError: No more handles [Unknown Mozilla path (MOZILLA_FIVE_HOME not set)]
	at org.eclipse.swt.SWT.error(SWT.java:3400)
	at org.eclipse.swt.browser.Browser.(Browser.java:138)
	at ed.inf.proofgeneral.outputviewer.HTMLTextLabel.(HTMLTextLabel.java:20)
	at ed.inf.proofgeneral.outputviewer.OutputView.createPartControl(OutputView.java:260)
	at ed.inf.proofgeneral.outputviewer.LatestOutputView.createPartControl(LatestOutputView.java:65)
	at org.eclipse.ui.internal.ViewReference.createPartHelper(ViewReference.java:332)
	at org.eclipse.ui.internal.ViewReference.createPart(ViewReference.java:197)
	at org.eclipse.ui.internal.WorkbenchPartReference.getPart(WorkbenchPartReference.java:566)
	at org.eclipse.ui.internal.PartPane.setVisible(PartPane.java:290)
	at org.eclipse.ui.internal.ViewPane.setVisible(ViewPane.java:525)
	at org.eclipse.ui.internal.presentations.PresentablePart.setVisible(PresentablePart.java:140)
	at org.eclipse.ui.internal.presentations.util.PresentablePartFolder.select(PresentablePartFolder.java:268)
	at org.eclipse.ui.internal.presentations.util.LeftToRightTabOrder.select(LeftToRightTabOrder.java:65)
	at org.eclipse.ui.internal.presentations.util.TabbedStackPresentation.selectPart(TabbedStackPresentation.java:394)
	at org.eclipse.ui.internal.PartStack.refreshPresentationSelection(PartStack.java:1144)
	at org.eclipse.ui.internal.PartStack.setSelection(PartStack.java:1097)
	at org.eclipse.ui.internal.PartStack.showPart(PartStack.java:1311)
	at org.eclipse.ui.internal.PartStack.createControl(PartStack.java:601)
	at org.eclipse.ui.internal.PartStack.createControl(PartStack.java:532)
	at org.eclipse.ui.internal.PartSashContainer.createControl(PartSashContainer.java:562)
	at org.eclipse.ui.internal.PerspectiveHelper.activate(PerspectiveHelper.java:244)
	at org.eclipse.ui.internal.Perspective.onActivate(Perspective.java:815)
	at org.eclipse.ui.internal.WorkbenchPage.onActivate(WorkbenchPage.java:2436)
	at org.eclipse.ui.internal.WorkbenchWindow$6.run(WorkbenchWindow.java:2616)
	at org.eclipse.swt.custom.BusyIndicator.showWhile(BusyIndicator.java:67)
	at org.eclipse.ui.internal.WorkbenchWindow.setActivePage(WorkbenchWindow.java:2597)
	at org.eclipse.ui.internal.WorkbenchWindow.busyOpenPage(WorkbenchWindow.java:658)
	at org.eclipse.ui.internal.Workbench.busyOpenWorkbenchWindow(Workbench.java:795)
	at org.eclipse.ui.internal.Workbench.doOpenFirstTimeWindow(Workbench.java:1437)
	at org.eclipse.ui.internal.Workbench.access$10(Workbench.java:1435)
	at org.eclipse.ui.internal.Workbench$16.run(Workbench.java:1399)
	at org.eclipse.ui.internal.Workbench.runStartupWithProgress(Workbench.java:1414)
	at org.eclipse.ui.internal.Workbench.openFirstTimeWindow(Workbench.java:1397)
	at org.eclipse.ui.internal.WorkbenchConfigurer.openFirstTimeWindow(WorkbenchConfigurer.java:190)
	at org.eclipse.ui.application.WorkbenchAdvisor.openWindows(WorkbenchAdvisor.java:708)
	at org.eclipse.ui.internal.Workbench.init(Workbench.java:1085)
	at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:1847)
	at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:419)
	at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)
	at org.eclipse.ui.internal.ide.IDEApplication.run(IDEApplication.java:95)
	at org.eclipse.core.internal.runtime.PlatformActivator$1.run(PlatformActivator.java:78)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:92)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:68)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:400)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:177)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
	at java.lang.reflect.Method.invoke(Unknown Source)
	at org.eclipse.core.launcher.Main.invokeFramework(Main.java:336)
	at org.eclipse.core.launcher.Main.basicRun(Main.java:280)
	at org.eclipse.core.launcher.Main.run(Main.java:977)
	at org.eclipse.core.launcher.Main.main(Main.java:952)
Edit | Attach | Print version | History: r6 < r5 < r4 < r3 < r2 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r5 - 11 Jan 2007 - 07:56:12 - CezaryKaliszyk
Main.PGEclipseInstallProbs moved from Main.PGEclipseKnownProblemsInstallation on 02 Oct 2006 - 19:06 by DavidAspinall
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies