chiark / gitweb /
Remove ControlPanel.class too as it seems not to get rebuilt.