Fixed destructors (silly me), and [more properly] implemented them in C++, Java, and Python.