added java tests for win64
added java tests for win64

Signed-off-by: Leonardo de Moura <7610bae85f2b530654cc716772f1fe653373e892@microsoft.com>

dstaple/z3test,dstaple/z3test,dstaple/z3test,dstaple/z3test