static O remoteEvalJavaFreshThroughProxy(S proxy, S target, S java) {
  S cmd = format("please eval java fresh *", java);
  S answer = sendToAwarenessThroughProxy(proxy, target, cmd);
  ret safeUnstructure(matchOK2OrFail(answer));
}