/** tests whether setting the options returned by getOptions() works */
public void testOptions() {
try {
m_Generator.setOptions(m_Generator.getOptions());
} catch (Exception e) {
fail("setOptions(getOptions()) does not work: " + e.getMessage());
}
}
