A decorator for the JMFC API