Debugging an IMlet on the Raspberry Pi board using the full capabilities of the Eclipse IDE