fix reported in BAM2DB.java