Updated copyright headers. Omit CVS IDs.