
Patches to murphy should have a Signed-off-by: header.  If you include
this header in your patches, this signifies that you are licensing
your patch to be used under the following terms:

  This project is free software; you can redistribute it and/or modify
  it under the terms of (at your option) either of the following two
  licenses:

    1) The GNU Lesser General Public License as published by the Free
       Software Foundation; either version 2.1, or (at your option) any
       later version

    2) The Eclipse Public License; either version 1.0 or (at your
       option) any later version.
