I believe my machine is running Libthr. Should I either install 1) Install linux-sun-jdk16 from ports 2) Install Diablo from ports 3) Download Diablo as binary Do these choices make any difference? I need the best performance possible.