[CZT-Users] Eclipse 4.14 CZT plugins installation problem

[Julian R. <jro...@gm...>]

Hello,

Sorry for the newbie question but I cannot get CZT Eclipse plugins to run.
On the plus side the czt.jar from
https://sourceforge.net/projects/czt/files/czt-ide/nightly/ standalone
works perfectly well.


After downloading the latest Eclipse 4.14 and installing the CZT nightly
updates:
>From Help->About Eclipse SDK I see the CZT logo and in ->Installation
Details I see CZT-Core, CZT for Eclipse and Z/Eves Prover Integration for
CZT.
However, there is nothing else Z in Eclipse at all. No perspective. No New
CZT Project.

My windows version is 64-bit 10, 1909 updates
My jdk version is 11.0.1

I downloaded Eclipse 4.14 from
https://download.eclipse.org/eclipse/downloads/ (as linked to from
www.vogella.com).
I used the Update Manager, Help->InstallNewSoftware identifying the plugin
from http://czt.sourceforge.net/eclipse/updates/nightly/ and then
re-started Eclipse.

Alternatively I tried downloading Eclipse IDE from
https://www.eclipse.org/eclipseide/ that comes with more Java, Maven, etc,
and got exactly the same results for the CZT plugins as for plain Eclipse
4.14..

I also downloaded the pre-built czt-ide-1.6 but this doesn't run. It
outputs an error and a configuration sub-directory log file.
Seperately downloadingplain plain old version 4.2 (Juno) of Eclipse
produces exactly the same error as the pre-built czt-ide-1.6.
So I assume the 4.2 versions are no longer compatible with Windows 10, java
11.

I did a quick scan through czt-users posts but didn't find any help there.
I am sure there is a simple explanation and it is probably my mistake.
I'll keep trying but Any clues?

With thanks,
julian