what do you do with the file wstk.jar, what is it for?