jav kissinh compilation

.