Automated example to reproduce an extension bug in BlueJ