Multi java

Windows tools

Property based testing