Adding external KeY deps.
Fixing path errors.