--with-java-path should be named --with-java-devtools. Or maybe not. You might want to ask on the list first.

Pro: it's more clear that it matches /java/devtools, and that the devtools part of the path must be included.

Con: We're changing a communicated options.