Le 09/08/2018 à 15:05, 殷啟聰 | Kai-Chung Yan a écrit :
> It needs JetBriains's fork of JDOM [1].
> 
> [1]: https://github.com/JetBrains/intellij-deps-jdom

Interesting. Looking at the commit history I think we should be able to
reuse the current libjdom2-java package by removing some final modifiers
and restoring a couple of missing methods.

Reply via email to