Datepicker dd.mm.jjjj no longer works (link to datepicker-de.min.js seems broken)

Datepicker dd.mm.jjjj no longer works (link to datepicker-de.min.js seems broken)

This link seems broken:
http://struts2-jquery.googlecode.com/svn/trunk/struts2-jquery-plugin/src/main/resources/template/i18n/jquery.ui.datepicker-de.min.js


Therefore our datepicker no longer works (it automatically selects mm/dd/jjjj and cannot be overwritten manually)