[Bug report] Missing delete operator for placement new

OCC classes generated by WOK redefine a placement new operator:
void* operator new(size_t,void* anAddress)
{
return anAddress;
}
However there is no pair delete operator, which must be empty and as follows:
void operator delete (void*, void*)
{
}

Lack of this leads to numerous warnings that memory will not be freed if the constructor raises an exception.

Reproducer:

class MyPnt : public gp_Pnt
{
public:
#if 0
//compilation warning unless defined
void operator delete (void*, void*)
{
cerr }
#endif

MyPnt()
{
#if 0
//you may want to throw an exception here
throw int (0);
#endif
}
};

char b[sizeof (MyPnt)];
new (b) MyPnt();
reinterpret_cast (b)->~MyPnt();

The fix should be made in WOK generator, for all hierarchies (gp_Storable, Standard_Transient, Standard_Persistent, classes manipulated by value).

By the way, using this opportunity you may want to revisit WOK generator to avoid generation of redundant redefinitions of new/delete operators in subclasses of Standard_Transient and Standard_Persistent, as definition in a base class is sufficient.