Tagging BlueJ 4.1.2rc2 (again, after a printing fix)