Java machine specification