They are already in [messages_en.properties] (https://github.com/Jasig/cas/blob/3.5.x/cas-server-webapp/src/main/webapp/WEB-INF/classes/messages_en.properties) from the LPPE extension