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 binary of PGEclipse (1.5gtk, 1.4gtk, 1.4motif) fails to run, I tried both Java version "1.5.0_10" and "1.6.0". It puts this error into ".log":

!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)


This topic: PG > WebHome > ProofGeneralKit > ProofGeneralEclipse > PGEclipseInstall > PGEclipseInstallProbs
Topic revision: r6 - 11 Jan 2007 - 09:46:38 - CezaryKaliszyk
 
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