Update DatabaseManager.java

Minor syntax and type changes. No real code changes other than making it compile.