Settings of Tool Options not persistent

[S-ecki]

I worked with your IDE and very much enjoyed it!
One problems keeps occuring to me: when I set a different target directory (and checkmarks to generate a visitors), the settings always reset on eclipse restart.

Perhaps I am doing something wrong?

[Mi-La]

Same problem here. When I disable the tool, it's again enabled after Eclipse restart.

[kstallard]

I've noticed this as well. When I add a newer version of antlr to Preferences->ANTLR 4->Tool->Distributions, it remains there while Eclipse is running, but if I shutdown Eclipse and restart it, it is gone and I have to re-add it and reselect it as the version I am using.

Otherwise, everything else works great.

[Phlosioneer]

This is currently a major problem for me. The editor uses ANTLR version 4.4, but that version is not available on Maven anymore. So any source files that the default tool configuration creates are unusable.

I've installed a newer version of ANTLR 4.10, but I have to respecify the path each time I reopen Eclipse.

[occipita]

I have also experienced this issue (using Eclipse 2022-04 with no other plugins except those distributed with the Java Enterprise version of Eclipse). I also noticed that when clicking "Apply & Close" on the properties dialog, a message box is briefly displayed with the title "Error", but it disappears before I have time to read the contents.