File	Doc	Category	Size	Date	Package
Agent.java	API Doc	Example	178	Sun Jun 22 18:58:24 BST 2003	agents

Agent

Fields Summary

Constructors Summary

Methods Summary
public double	getThreshold()
public void	setThreshold(double d)