libraries needed for JSemWed