[jedit:plugin-bugs] #1917 XML Plugin requires ErrorList > 2.x in Jedit5.5 under JDK 8

- **status**: open --> closed-out-of-date



---

**[plugin-bugs:#1917] XML Plugin requires ErrorList > 2.x in Jedit5.5 under JDK 8**

**Status:** closed-out-of-date
**Group:** 
**Created:** Tue Apr 13, 2021 10:21 AM UTC by Dietrich Schulten
**Last Updated:** Wed Apr 14, 2021 12:48 PM UTC
**Owner:** Eric Le Lay


I have JEdit 5.5 running under JDK8 because I have to. Recently I tried to update the XML plugin because JEdit offered a newer version. After the update the XML plugin stopped working because it requires ErrorList > 2.3, which is not available for JDK 8. I tried to roll back the XML Plugin update, but it kept insisting that ErrorList is too old.

-> Can the XML plugin update be blocked for JEdit 5.5 under JDK8? For ErrorList, this seems possible. 
-> How can I rollback the failed update to the XML plugin?


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel