String (Element element, String attribute) { final String url = element.getAttributeValue(attribute); if (url == null) { throw new JpsSerializationFormatException("'" + attribute + "' attribute is missing in '" + element.getName() + "' tag"); } return url; }