// -*- C++ -*-
// $Id$

// This is a placeholder.