I found a solution:
In ./eclipse/config/splash.properties change enabled=true to enabled=false.
@diesieben07
There is an entry "Common Problems and Solutions" in the EAQ which explains what to do if your fonts are distorted.
I tried this out of sheer desperation. Maybe the entry should be extended to distorted textures?