Rename BehavJK.v to Homework1/BehavJK.v