GWT: use DateTimeFormat no cliente e SimpleDateFormat no servidor

Eu tenho uma função que deve funcionar da mesma maneira no cliente e no servidor e formata datas.

<code>if (GWT.isClient())
{
  // Use DateTimeFormat
} else {
  // Use SimpleDateFormat
}
</code>

GWT reclama: Nenhum código-fonte está disponível para o tipo SimpleDateFormat. O erro não é fatal (pelo menos no modo dev), mas é irritante e não é possível suprimi-lo. Encontrou uma pergunta semelhante sobrehttp://groups.google.com/group/google-web-toolkit/browse_thread/thread/981247fca161c287 . Lá eles sugerem:

Você pode fornecer uma implementação supersource fictícia de SimpleDateTimeFormat para que seja compilada.

Eu tentei. Agora o Eclipse reclama:

java.text O pacote declarado "java.text" não corresponde ao pacote esperado "foo.jre.java.text" SimpleDateFormat.java

questionAnswers(5)

yourAnswerToTheQuestion