*  @param attribute the attribute to search
     *  @param index where to start looking
     *  @return the value of the given XML attribute
     *  @since 0.28
     */
    private String parseAttribute(String xml, String attribute, int index)
    {
        // let's hope the JVM always inlines this
        int a = xml.indexOf(attribute + "=\"", index) + attribute.length() + 2;
        int b = xml.indexOf('\"', a);
        return xml.substring(a, b);
    }