Debugging of the BlueJ IDE and its extension mechanism