4. praktische Übung

[Nathan Wasser]

Die 4. praktische Übung ist online. Zum Lösen der Übung ist VeriFun 3.3 erforderlich. Dies kann auf der VeriFun Webseite oder direkt von der FGdI3 Webseite heruntergeladen werden.

[xu43uhub]

Hallo,

Unter GNU/Linux bekomme ich nach Ausführen des Installers folgende Fehlermeldung:

Code: Alles auswählen

$ ./vf3_3_unix.sh

gzip: sfx_archive.tar.gz: not in gzip format

I am sorry, but the installer file seems to be corrupted.
If you downloaded that file please try it again. If you
transfer that file with ftp please make sure that you are
using binary mode.

Laut gzip handelt es sich also bei dem Binärcode aus dem Skript vf3_3_unix.sh, aus welchem die Datei sfx_archive.tar.gz entsteht, nicht um ein gültiges gzip Format. Es wäre super, wenn mir hier jemand mit einem Fix oder Workaround helfen könnte, so dass ich auch Verifun 3.3 unter Linux laufen lassen kann.

[Echo]

@xu43uhub: Das gleiche Problem hatte ich mit dem Download von der FGdI III Seite auch. Aber mit dem Download von der VeriFun Seite ging es

edit: btw: Die alte VeriFun Version am besten nicht deinstallieren, denn die neue Version scheint nicht abwärtskompatibel zu sein.

[DanielSchoepe]

Seltsamerweise funktioniert die Version, die man über die Verifun-Seite bekommt; die Version von der FGdI3-Seite aber nicht.

Edit: Voherigen Beitrag nicht gesehen.

[JulM]

irgendwie funktioniert der Workaround für Java 6 nicht mehr, schade
Ist es denn schon auf den Poolrechnern installiert?

[DanielSchoepe]

irgendwie funktioniert der Workaround für Java 6 nicht mehr, schade
Ist es denn schon auf den Poolrechnern installiert?

Also bei mir funktioniert bei der Version von der Verifun-Seite immer noch das Rauspatchen der Überprüfung in der .sh-Datei (darauf achten, dass du deinen Editor daran hinderst am Ende eine newline anzufügen und auf binär schaltest).

[key]

Hi,
bei mir mit win7x64 schmiert der installer jedes mal ab. Ich habe alle möglichen Kompatibilitätsmodi probiert, aber die helfen nicht. Hat jemand nen ähnliches Problem. Am besten mit Lösung...

[mheinrich]

Wo ist denn dieser sh-Patch dokumentiert?

Ich habe JRE 1.5 installiert und ich bekomme immernoch:

Code: Alles auswählen

No suitable Java Virtual Machine could be found on your system.
The version of the JVM must be at least 1.5 and at most 1.5.
Please define INSTALL4J_JAVA_HOME to point to a suitable JVM.
You can also try to delete the JVM cache file /home/markus/.install4j

Meine .install4j

Code: Alles auswählen

JRE_VERSION	/usr	1	5	0	18
JRE_VERSION	/opt/VP_Suite5.0/jre	1	6	0	20
JRE_INFO	/opt/VP_Suite5.0/jre	0
JRE_VERSION	/usr	1	6	0	20
JRE_INFO	/usr	106
JRE_VERSION	/usr/java/jre1.5.0				0
JRE_INFO	/usr/java/jre1.5.0	0
JRE_VERSION	/usr/java/jre1.5.0_22				0
JRE_INFO	/usr/java/jre1.5.0_22	0
JRE_VERSION	/usr/lib/jvm/default-java	1	6	0	20
JRE_INFO	/usr/lib/jvm/default-java	106
JRE_VERSION	/usr/lib/jvm/java-1.6.0-openjdk	1	6	0	20
JRE_INFO	/usr/lib/jvm/java-1.6.0-openjdk	106
JRE_VERSION	/usr/lib/jvm/java-6-openjdk	1	6	0	20
JRE_INFO	/usr/lib/jvm/java-6-openjdk	106
INSTALL4J_JAVA_HOME	/usr/java/jre1.5.0_22 0

Bitte um Hilfe.

Danke,
Markus

[tobiwan]

Installation war kein Problem, musste es jedoch in der Konsole installieren,da ich nen blöden Fehler erhalte.
Zudem lässt sich Verifun3.3 deswegen nicht starten.
Seltsamerweise ging alles mit 3.2.2....

Code: Alles auswählen

~/VeriFun/VeriFun_3.3$ ./VeriFun3.3
Runtime link error - it appears that libXt got loaded before libXm,
which is not allowed.

Hängt wohl mit Compiz zusammen (laut Google).

@mheinrich: Hast du die jvm "richtig" installiert oder nur entpackt? Schau mal, ob sie unter "sudo update-java-alternatives -l" auftaucht... Dann einfach mit "sudo update-java-alternatives -s java-1.5.0-sun" auf java 5 umstellen und Verifun installieren.

[Nathan Wasser]

Das Problem beim Herunterladen der Unix Datei von der FGdI3 Webseite ist behoben.

Sowohl VeriFun 3.3 als auch VeriFun 3.2.2 sind auf den Poolrechnern installiert. Mit "verifun" startet man 3.3, mit "verifun322" startet man 3.2.2.

[Sushi]

Ich hab unter Windows 7 (64 Bit) auch das Problem das sich das Programm nicht installieren lässt. Wenn ich die Installation starten will lädt der Balken des Wizards zu ca. 80%, bleibt stehen und es erscheint eine error.log:

Code: Alles auswählen

Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
	at java.awt.Dimension.<init>(Unknown Source)
	at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.layoutContainer(Unknown Source)
	at java.awt.Container.layout(Unknown Source)
	at java.awt.Container.doLayout(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validate(Unknown Source)
	at java.awt.Window.show(Unknown Source)
	at java.awt.Component.show(Unknown Source)
	at java.awt.Component.setVisible(Unknown Source)
	at com.install4j.runtime.wizard.WizardBase.setVisible(Unknown Source)
	at com.install4j.runtime.wizard.WizardBase.showFrame(Unknown Source)
	at com.install4j.runtime.installer.frontend.WizardScreenExecutor.execute(Unknown Source)
	at com.install4j.runtime.installer.controller.Controller$1.run(Unknown Source)
	at java.awt.event.InvocationEvent.dispatch(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
	at java.awt.Dimension.<init>(Unknown Source)
	at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.layoutContainer(Unknown Source)
	at java.awt.Container.layout(Unknown Source)
	at java.awt.Container.doLayout(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validate(Unknown Source)
	at com.install4j.runtime.wizard.StandardScreen$1.componentResized(Unknown Source)
	at java.awt.Component.processComponentEvent(Unknown Source)
	at java.awt.Component.processEvent(Unknown Source)
	at java.awt.Container.processEvent(Unknown Source)
	at java.awt.Component.dispatchEventImpl(Unknown Source)
	at java.awt.Container.dispatchEventImpl(Unknown Source)
	at java.awt.Component.dispatchEvent(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)

[niewhner]

Ich hab unter Windows 7 (64 Bit) auch das Problem das sich das Programm nicht installieren lässt. Wenn ich die Installation starten will lädt der Balken des Wizards zu ca. 80%, bleibt stehen und es erscheint eine error.log:

Code: Alles auswählen

Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
	at java.awt.Dimension.<init>(Unknown Source)
	at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.layoutContainer(Unknown Source)
	at java.awt.Container.layout(Unknown Source)
	at java.awt.Container.doLayout(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validate(Unknown Source)
	at java.awt.Window.show(Unknown Source)
	at java.awt.Component.show(Unknown Source)
	at java.awt.Component.setVisible(Unknown Source)
	at com.install4j.runtime.wizard.WizardBase.setVisible(Unknown Source)
	at com.install4j.runtime.wizard.WizardBase.showFrame(Unknown Source)
	at com.install4j.runtime.installer.frontend.WizardScreenExecutor.execute(Unknown Source)
	at com.install4j.runtime.installer.controller.Controller$1.run(Unknown Source)
	at java.awt.event.InvocationEvent.dispatch(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)
Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
	at java.awt.Dimension.<init>(Unknown Source)
	at javax.swing.plaf.basic.BasicProgressBarUI.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.preferredLayoutSize(Unknown Source)
	at java.awt.Container.preferredSize(Unknown Source)
	at java.awt.Container.getPreferredSize(Unknown Source)
	at javax.swing.JComponent.getPreferredSize(Unknown Source)
	at java.awt.GridBagLayout.GetLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.getLayoutInfo(Unknown Source)
	at java.awt.GridBagLayout.ArrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.arrangeGrid(Unknown Source)
	at java.awt.GridBagLayout.layoutContainer(Unknown Source)
	at java.awt.Container.layout(Unknown Source)
	at java.awt.Container.doLayout(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validateTree(Unknown Source)
	at java.awt.Container.validate(Unknown Source)
	at com.install4j.runtime.wizard.StandardScreen$1.componentResized(Unknown Source)
	at java.awt.Component.processComponentEvent(Unknown Source)
	at java.awt.Component.processEvent(Unknown Source)
	at java.awt.Container.processEvent(Unknown Source)
	at java.awt.Component.dispatchEventImpl(Unknown Source)
	at java.awt.Container.dispatchEventImpl(Unknown Source)
	at java.awt.Component.dispatchEvent(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)

Gleiches Problem unter Win7 32bit, konntest du den Fehler beheben?

[Nathan Wasser]

Hattet Ihr diese Probleme schon bei der Installation von VeriFun 3.2.2?

[niewhner]

Hattet Ihr diese Probleme schon bei der Installation von VeriFun 3.2.2?

Nein

[Sushi]

Ich hab es durch eine Neuinstallation von Java gelöst.