tree 74bb763a6c61bd828717dc82803ccf23ee15c94a
parent f942074e3e6ac22498b84241db65097e80e9acdc
author Rich Lane <rlane@bigswitch.com> 1384818594 -0800
committer Rich Lane <rlane@bigswitch.com> 1384996785 -0800

java_gen: support extension instructions