Merge "Complete Java APIs of demux.hal"