String tmp1 = tmp.substring(
tmp.indexOf("(") + 1,
tmp.indexOf(")"));
try
{
attribs[j] = new Attribute(
Double.parseDouble(tmp1));
}
catch(NumberFormatException e)
{
attribs[j] = new Attribute(
tmp.substring(
tmp.lastIndexOf(" ") + 2,
tmp.lastIndexOf(" ")));
}
}