Test case showing PgJDBC pain point for typing