xmldiff: java implementation
Fixed fatal error in option parser