Before revision:  We obtain a complete solution to the post-default optimization subproblem, and prove a verification theorem for the solution of the pre-default optimization subproblem .
After revision:  We obtain a complete solution to the pre-default HJB equation, and give a verification theorem for the solution of the pre-default optimization subproblem .