Fixing a bug: Map's parameterized type signature with wildcard was not handled properly.

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

public class HelloWorld {

        public static void main(String[] args) {

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