[Rodin-commit] SF.net SVN: rodin-b-sharp:[16757] trunk/Refactory

[Commits f. t. S. r. <rod...@li...>]

Revision: 16757
          http://sourceforge.net/p/rodin-b-sharp/svn/16757
Author:   gverdier
Date:     2025-02-27 10:29:58 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Update Refactory plug-in to newer Java and Eclipse

- target Java 11 instead of Java 1.6
- set encoding of projects to UTF-8
- fix various deprecation warnings

Modified Paths:
--------------
    trunk/Refactory/ac.ddorf.refactory/.classpath
    trunk/Refactory/ac.ddorf.refactory/.settings/org.eclipse.jdt.core.prefs
    trunk/Refactory/ac.ddorf.refactory/META-INF/MANIFEST.MF
    trunk/Refactory/ac.ddorf.refactory.eventb/.classpath
    trunk/Refactory/ac.ddorf.refactory.eventb/.settings/org.eclipse.jdt.core.prefs
    trunk/Refactory/ac.ddorf.refactory.eventb/META-INF/MANIFEST.MF
    trunk/Refactory/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/RefactoryUtils.java
    trunk/Refactory/ac.ddorf.refactory.eventb/src/ac/soton/refactory/internal/eventb/utils/EventBRefactoryUtils.java
    trunk/Refactory/ac.ddorf.refactory.tests/.classpath
    trunk/Refactory/ac.ddorf.refactory.tests/.settings/org.eclipse.jdt.core.prefs
    trunk/Refactory/ac.ddorf.refactory.tests/META-INF/MANIFEST.MF
    trunk/Refactory/ac.ddorf.refactory.tests/src/ac/ddorf/refactory/tests/basic/BasicTest.java
    trunk/Refactory/ac.ddorf.refactory.tests/src/ac/ddorf/refactory/tests/basic/conf/ConfElement.java
    trunk/Refactory/ac.ddorf.refactory.ui/.classpath
    trunk/Refactory/ac.ddorf.refactory.ui/.settings/org.eclipse.jdt.core.prefs
    trunk/Refactory/ac.ddorf.refactory.ui/META-INF/MANIFEST.MF
    trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/internal/ui/UIUtils.java
    trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/internal/ui/eventbeditor/actions/RefactoryWizard.java
    trunk/Refactory/ac.ddorf.refactory.ui/src/ac/soton/refactory/ui/RefactoryPluginUI.java

Added Paths:
-----------
    trunk/Refactory/ac.ddorf.refactory/.settings/org.eclipse.core.resources.prefs
    trunk/Refactory/ac.ddorf.refactory.eventb/.settings/org.eclipse.core.resources.prefs
    trunk/Refactory/ac.ddorf.refactory.tests/.settings/org.eclipse.core.resources.prefs
    trunk/Refactory/ac.ddorf.refactory.ui/.settings/org.eclipse.core.resources.prefs

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.