v.io/x/devtools/v23: apply darwin sharedlib patch when setting up Java profile
v.io/x/devtools/v23: apply darwin sharedlib patch when setting up Java profile

Change-Id: Ic0c0a89ccfc6239f45d0832d6ce078253ba8199e

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools