/* This should be an empty file, just adding this comment so that clearcase can check it in */