Contains customized extensions to JGraph's API for MAPS layout tool.