files generated from wsgen and wsimport