Could someone explain to me why this is needed? All these scripts do is set an environment variable. At the very least the variable should be set in Makefile.incl instead. But I don't even see why we need such a variable (JDK12BIN) in the first place, given that we already rely on people having java in their PATH everywhere else? Unless I hear otherwise I will get rid of this altogether next week. -- Arnaud Le Hors - IBM Cupertino, XML Technology Group
