Cómo convertir una fecha en este formato (martes 13 de julio 00:00:00 CEST 2010) a una fecha de Java (la string proviene de una propiedad al aire libre)
