Versuch: Ordner derbydb nicht mehr pushen.