writeTagsTextContent(ctx, MAX_WAIT_TAG_NAME,
internalPoolDatasource.getMaxWait());
marshalName(index, ctx, internalPoolDatasource.getName());
ctx.endTag(index, INTERNAL_POOL_DATASOURCE_TAG_NAME);
} else if (type == DataSourceType.JNDI_DATASOURCE) {
JNDIDatasource jndiDatasource = (JNDIDatasource) dataSource;
ctx.startTag(index, JNDI_DATASOURCE_TAG_NAME);
writeTagsTextContent(ctx, JNDI_NAME_TAG_NAME,