I am studying the proof that if $A$ is a $C^*$-algebra such that $A^{**}$ is a semidiscrete vN algebra, then $A$ has the completely positive approximation property (CPAP). I was able to handle the unital case, but I am stuck in the non-unital setting: The authors (N. Brown and N. Ozawa) suggest that one should prove that if $A^{**}$ is semidiscrete then so is $(\tilde{A})^{**}$ and then conclude by proving that if $\tilde{A}$ has the CPAP then so does $A$.

My problem is this: I can't prove that the double dual of the unitization will be semidiscrete. I cannot understand the double dual of the unitization in relevance to the double dual of $A$ at all. The authors state that $(\tilde{A})^{**}\cong A^{**}\oplus\mathbb{C}$ and mention that it is furthermore true that if $B$ is any $C^*$-algebra with a (closed, two-sided) ideal $J$, then $B^{**}\cong J^{**}\oplus(B/J)^{**}$. First of all, does $\cong$ mean as vector spaces or as $C^*$-algebras? How can one prove this isomorphism? Extra bonus question: If all double duals involved are endowed with their ultraweak topologies, is $\cong$ a homeomorphism?