added prototypes for translated Java functions