class JEEFrameworkAdapter extends DefaultFrameworkAdapter {

    /** {@inheritDoc} */
    @Override
    public int compareManagers(final Object obj1, final Object obj2) {<FILL_FUNCTION_BODY>}

    /** {@inheritDoc} */
    @Override
    public void applyDefaultSettingsIfUndefined(final Config config) {
        super.applyDefaultSettingsIfUndefined(config);

        config.setWebContextFactoryIfUndefined(JEEContextFactory.INSTANCE);
        config.setSessionStoreFactoryIfUndefined(JEESessionStoreFactory.INSTANCE);
        config.setHttpActionAdapterIfUndefined(JEEHttpActionAdapter.INSTANCE);
    }

    /** {@inheritDoc} */
    @Override
    public String toString() {
        return "JakartaEE";
    }
}

        var p1 = 100;
        var p2 = 100;
        val p1a = obj1.getClass().getAnnotation(Priority.class);
        if (p1a != null) {
            p1 = p1a.value();
        }
        val p2a = obj2.getClass().getAnnotation(Priority.class);
        if (p2a != null) {
            p2 = p2a.value();
        }
        if (p1 < p2) {
            return -1;
        } else if (p1 > p2) {
            return 1;
        } else {
            return obj2.getClass().getSimpleName().compareTo(obj1.getClass().getSimpleName());
        }
    
<methods>public non-sealed void <init>() ,public void applyDefaultSettingsIfUndefined(org.pac4j.core.config.Config) ,public int compareManagers(java.lang.Object, java.lang.Object) ,public java.lang.String toString() <variables>