Change "MiniJava Compiler" to "Welcome!" to avoid repetition.