Java EE Service Engine: Bridging Java EE and JBI