added final modifier for system methods on literals
added final modifier for system methods on literals

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