PtolemyPreferences



Author(s): Edward A. Lee
Version:$Id: PtolemyPreferences.java,v 1.10 2006/04/03 03:14:32 cxh Exp $