Git repository for SWT_WiSe13_14