java encoder/decoder for b-code