// $Id$
// This file deliberately empty. See bugzilla #2549.