Fixing issues: counter bugs, object ID comparison, exclusion of non-event and non...

[jpf-core.git] / examples / HelloWorld.java

public class HelloWorld {

        public static void main(String[] args) {

                System.out.println("Hello World!");
        }
}