extensions to 'jsonbroker.java' to support Android