8d1f87498f2f169193260caa1781cb2e0033b509
[jpf-core.git] / examples / Empty.groovy
1 class Empty {
2
3         public static void main(String... args) {
4                 /*int rand = Math.random()*10
5                 int test = 10;
6                 double test2 = 0.0;*/
7
8         }       
9 }