Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/jpf-core

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

public class HelloWorld {

        public static void main(String[] args) {

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