Comment by pnp

Correct, I recall the stock ticker symbol was renamed to JAVA, but not the company.