//
// $id$
//
// To work around a stupid problem where the ddl compiler removes the
// using statement. 
//
// Only to be used in ddl files!!!!
//
#include <vector>
using std::vector;