HM/JPM: made flexible with respect to location of Java 7 javac