JACK - A Tool for Validation of Security and Behaviour of Java Applications