Hello, sorry that I sent a user question to the developer list! Please discard it. Best regards Hans-Peter --------------------------------------------------------------------- To unsubscribe, e-mail: java-dev-unsubscribe@lucene.apache.org For additional commands, e-mail: java-dev-help@lucene.apache.org