Java program analyzer and checker
