No, I think this is valid. It's trying to figure out where to put the
JavaXMLAPIs.pdb file, and the default is Pluckerhome, which in this
jar file, built on Unix, apparently defaults to ~/.plucker. Looks like
the code which tries to figure out the Pluckerhome should be dynamic.
Here's the offending code:
if os.environ.has_key ('PLUCKERHOME'):
pluckerhome = os.environ['PLUCKERHOME']
else:
pluckerhome = os.path.expanduser ("~/.plucker")
Apparently on Windows os.path.expanduser doesn't do quite what one
might hope. Some Windows user will have to come up with a fix for
this. I can put in a check and error out, though.
Bill
