JSON.getDefault().addConvertor(ResourceHolder.class, new Convertor()
{
public void toJSON(Object obj, Output out)
{
ResourceHolder holder = (ResourceHolder) obj;
out.add("lock", holder.getHoldCount());
out.add("Owner", holder.getOwner());
out.add("Resource", holder.getResource());
}
public Object fromJSON(Map object) { return null; }
});
}