public void testOptions(){
  try {
    m_Definition.setOptions(m_Definition.getOptions());
  }
 catch (  Exception e) {
    fail("setOptions(getOptions()) does not work: " + e.getMessage());
  }
}

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