Moved bdd package to a separate folder 'BDD'.