added the modified java symbolic backend that adds coverage info.