tree 12a903901138485caa22cc16d6fc4917926489f2
parent 93e253e4f8219959015b3b8d711309e133d06580
author Cosmos Nicolaou <cnicolaou@google.com> 1457452679 -0800
committer Ross Wang <rosswang@google.com> 1458605181 -0700

java: v.io/x/devtools: start to use profile-v23

Switch jiri test and hence all checked in
references to use jiri profile vs jiri v23-profile.

MultiPart: 2/16

Change-Id: I28c3cdcdd31de39777ad0fe2d668ca7530fce4e2