Как я форматирую свою строку в GWT?
Я сделал метод
Formatter format = new Formatter();
int matches = 0;
Formatter formattedString = format.format("%d numbers(s, args) in correct position", matches);
return formattedString.toString();
Но это жалуется путем высказывания
Validating newly compiled units
[ERROR] Errors in 'file:/C:/Documents%20and%20Settings/kkshetri/workspace/MasterMind/MasterMind/src/com/kunjan/MasterMind/client/MasterMind.java'
[ERROR] Line 84: No source code is available for type java.util.Formatter; did you forget to inherit a required module?
Разве Средство форматирования не включено?
UPDATE: Пожалуйста, посмотрите (и проголосуйте) пост Джозефа Луста ниже, прежде чем смотреть дальше на этот ответ.
Похоже, что форматер не входит в комплект, согласно этому сообщению. Однако они предлагают некоторые альтернативы.