Searched refs:MICRO_EDITION_OPTION (Results 1 – 3 of 3) sorted by relevance
86 public static final String MICRO_EDITION_OPTION = "-microedition"; field in ConfigurationConstants
150 writeOption(ConfigurationConstants.MICRO_EDITION_OPTION, configuration.microEdition); in write()
209 …else if (ConfigurationConstants.MICRO_EDITION_OPTION .startsWith(nextW… in parse()