/* collection of junk waiting time to sort out
- Copyright (C) 1996-1998, 2003, 2007-2012 Free Software Foundation,
- Inc.
+ Copyright (C) 1996-2013 Free Software Foundation, Inc.
Contributed by Cygnus Support.
This file is part of GDB, the GNU debugger.