GWT: use DateTimeFormat en el cliente y SimpleDateFormat en el servidor

Tengo una función que debe funcionar de la misma manera tanto en el cliente como en el servidor y formatea las fechas.

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

GWT se queja: No hay código fuente disponible para el tipo SimpleDateFormat. El error no es fatal (al menos en el modo dev), pero es molesto y no hay forma de suprimirlo. Encontró una pregunta similar enhttp://groups.google.com/group/google-web-toolkit/browse_thread/thread/981247fca161c287 . Allí sugieren:

Puede proporcionar una implementación supersource ficticia de SimpleDateTimeFormat para que se compile.

Lo intenté. Ahora Eclipse se queja:

java.text El paquete declarado "java.text" no coincide con el paquete esperado "foo.jre.java.text" SimpleDateFormat.java

Respuestas a la pregunta(5)

Su respuesta a la pregunta