(String p_tokenize_0_, String p_tokenize_1_)
| 1054 | } |
| 1055 | |
| 1056 | public static String[] tokenize(String p_tokenize_0_, String p_tokenize_1_) { |
| 1057 | StringTokenizer stringtokenizer = new StringTokenizer(p_tokenize_0_, p_tokenize_1_); |
| 1058 | List list = new ArrayList(); |
| 1059 | |
| 1060 | while (stringtokenizer.hasMoreTokens()) { |
| 1061 | String s = stringtokenizer.nextToken(); |
| 1062 | list.add(s); |
| 1063 | } |
| 1064 | |
| 1065 | String[] astring = (String[]) list.toArray(new String[list.size()]); |
| 1066 | return astring; |
| 1067 | } |
| 1068 | |
| 1069 | public static DisplayMode getDesktopDisplayMode() { |
| 1070 | return desktopDisplayMode; |
no test coverage detected