Vanilla SeleniumIDE export (Java / JUnit 4 / WebDriver)