bterm.java

class bterm{
    public String toXMLString() {
        return "<term>"+name+"</term>";
    }
}