There is no info about that sbt will require to put the introprog.jar in the lib folder. This should be added to exercise classes somewhere.