add documentation of WJEWriteFILE()