o Added getDevOption().