v.io/x/devtools/v23: install java when setting up the java profile
v.io/x/devtools/v23: install java when setting up the java profile

Change-Id: Ief32d2b02d55934aa054b910c236a1c0d545178d

vanadium/go.jiri,vanadium/go.jiri