// Path: examples/spring-security/src/main/java/com/coverity/security/pie/example/model/Account.java
// @Entity
// public class Account {
//     
//     @Id @GeneratedValue
//     private Long id;
//     
//     @ManyToOne(optional = false)
//     private User user;
//     
//     @Column(nullable = false)
//     private BigDecimal balance;
// 
//     public User getUser() {
//         return user;
//     }
//     public void setUser(User user) {
//         this.user = user;
//     }
//     public BigDecimal getBalance() {
//         return balance;
//     }
//     public void setBalance(BigDecimal balance) {
//         this.balance = balance;
//     }
//     
//     
// }


import java.util.List;
import com.coverity.security.pie.example.model.Account;
import org.springframework.stereotype.Service;
import org.springframework.transaction.annotation.Transactional;
package com.coverity.security.pie.example.service;



@Service
public class AccountDao extends AbstractDao {
// Path: examples/spring-security/src/main/java/com/coverity/security/pie/example/model/Account.java
// @Entity
// public class Account {
//     
//     @Id @GeneratedValue
//     private Long id;
//     
//     @ManyToOne(optional = false)
//     private User user;
//     
//     @Column(nullable = false)
//     private BigDecimal balance;
// 
//     public User getUser() {
//         return user;
//     }
//     public void setUser(User user) {
//         this.user = user;
//     }
//     public BigDecimal getBalance() {
//         return balance;
//     }
//     public void setBalance(BigDecimal balance) {
//         this.balance = balance;
//     }
//     
//     
// }


// Path: examples/spring-security/src/main/java/com/coverity/security/pie/example/service/AccountDao.java
import java.util.List;
import com.coverity.security.pie.example.model.Account;
import org.springframework.stereotype.Service;
import org.springframework.transaction.annotation.Transactional;

package com.coverity.security.pie.example.service;



@Service
public class AccountDao extends AbstractDao {
    public Account getAccount(String username) {