The GuruPlug and more: An Embedded Java Update