// Path: examples/spring-security/src/main/java/com/coverity/security/pie/example/model/User.java
// @Entity
// public class User {
//     @Id @GeneratedValue
//     private Long id;
//     
//     private String username;
//     
//     private String passwordHash;
//     
//     private Role role;
//     
//     
//     public String getUsername() {
//         return username;
//     }
//     public void setUsername(String username) {
//         this.username = username;
//     }
//     public String getPasswordHash() {
//         return passwordHash;
//     }
//     public void setPasswordHash(String passwordHash) {
//         this.passwordHash = passwordHash;
//     }
//     public Role getRole() {
//         return role;
//     }
//     public void setRole(Role role) {
//         this.role = role;
//     }
// }


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



@Service
public class UserDao extends AbstractDao {
    
// Path: examples/spring-security/src/main/java/com/coverity/security/pie/example/model/User.java
// @Entity
// public class User {
//     @Id @GeneratedValue
//     private Long id;
//     
//     private String username;
//     
//     private String passwordHash;
//     
//     private Role role;
//     
//     
//     public String getUsername() {
//         return username;
//     }
//     public void setUsername(String username) {
//         this.username = username;
//     }
//     public String getPasswordHash() {
//         return passwordHash;
//     }
//     public void setPasswordHash(String passwordHash) {
//         this.passwordHash = passwordHash;
//     }
//     public Role getRole() {
//         return role;
//     }
//     public void setRole(Role role) {
//         this.role = role;
//     }
// }


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

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



@Service
public class UserDao extends AbstractDao {
    
    public List<User> getUsers() {