ユーザーがJTreeのNodeを単にマウスでクリックしたのと制御キー(Alt)をおしながらクリックしたのかの区別を
TreeSelectionListenerのvalueChangedで知りたいんですけど、どうすればいいのですか?