Jeannie: granting java native interface developers their wishes