ptolemy.backtrack.eclipse.plugin.util