#4 Platform.getJobManager was removed in 4.17

[Andrey Loskutov]

See https://bugs.eclipse.org/bugs/show_bug.cgi?id=564893
Since 4.17 Platform.getJobManager() API is removed.

Patch for master:

diff --git a/ZipEditor/src/zipeditor/ZipEditor.java b/ZipEditor/src/zipeditor/ZipEditor.java
index 82873c4..bde8fad 100644
--- a/ZipEditor/src/zipeditor/ZipEditor.java
+++ b/ZipEditor/src/zipeditor/ZipEditor.java
@@ -166,7 +166,7 @@
            if (event.isInitializing() && !event.isInitStarted() && !event.isInitFinished())
                scheduleTime = 2000;
            if (event.isInitFinished()) {

-               Job[] jobs = Platform.getJobManager().find(jobFamily);
+               Job[] jobs = Job.getJobManager().find(jobFamily);
                if (jobs != null) {
                    for (int i = 0; i < jobs.length; i++) {
                        jobs[i].cancel();

I would be happy to provide a PR but I have no clue how the PR's can be contributed in SourceForge.
Could we may be move that to github/gitlabs / something that works?

[Uwe Voigt]

Hi Andrey.. I have committed this and some other deprecation removals.
I will move the project to Github
Thanks!

[Andrey Loskutov]

Thanks Uwe!