Reimplement java backend builtin list (do not review yet)

testing...