Hi. The plugin verifier gives a compibliity problem for the method:
1 compatibility problem
Lean4ij 0.2.8-beta.8 is binary incompatible with IntelliJ IDEA Ultimate IU-253.27864.23 due to the following problem
Abstract method is not implemented (1)
Abstract method CefRequestHandler.onRenderProcessTerminated(...) is not implemented (1)
Concrete class JcefInfoviewService.browser$1 inherits from CefRequestHandler but doesn't implement the abstract method onRenderProcessTerminated(...). This can lead to AbstractMethodError exception at runtime.
It seems introduced from 2025.3.eap and I cannot override it for lower versions of IDEA.
Any suggested solution for support both 2025.3.eap and the lower versions? I think that I should compiling two versions for version lower than 2025.3 and version 2025.3. How to control this?