Jagdish 15 patch 9#85

jagdish-15 wants to merge 2 commits intomainjagdish-15/java:mainfrom

jagdish-15-patch-9jagdish-15/java:jagdish-15-patch-9Copy head branch name to clipboard