jdbc bug?