Tagging BlueJ 4.2.0 release (including Debian/Ubuntu package fixes)