Revert "automatic update of generated source code page at Sa 22 Jun 2013 17:25:08 CEST"

This reverts commit 73342b31a4ea3bbdd105a123bcf1354f05fbde44.