public void setUrl(String url) {
<BUG>m_url = url;
}</BUG>
public String getUser() {
<BUG>return m_user;
}</BUG>
public void setUser(String user) {
<BUG>m_user = user;
}</BUG>
public DataSource getDataSource() {

public void setUrl(String url) {
m_pool.setJdbcUrl(url);
}
public String getUser() {
return m_pool.getUser();
}
public void setUser(String user) {
m_pool.setUser(user);
}
public DataSource getDataSource() {
