Supports OkBuck build#4133

zaki50 wants to merge 1 commit intomainrealm/realm-java:mainfrom

my/support_okbuckrealm/realm-java:my/support_okbuckCopy head branch name to clipboard