exchange embed modal jar since the old one included much stuff that was both unnecessary and causing trouble while building
exchange embed modal jar since the old one included much stuff that was both unnecessary and causing trouble while building

lex-lex/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III