also consider the old catalina log files when sending the status mail (relevant if tomcat has been restarted and the log has been moved to backup)
add missing license
small code, documentation, and javadoc cleanup
delete unused classes
remove unused views
tiny code and whitespace cleanups
increase version
show antonym in a term's title attribute
fix look of <hr> in search popup
tiny improvement for exception message