Looking at the error message i think //HAL4 is better.
But why is the connection refused? TCP/IP is activated, Port is 1433. In SQL Server security is set to operating system security (I need no userid/password when I open the SQLServer Management Studio).
PS: I downloaded the latest sqlserver jdbc drivers from MS (version 2.0) but I have no clue what to do with them.