--- Hallo.java.orig	2014-06-05 11:54:50.000000000 +0200
+++ Hallo.java	2014-06-05 11:51:13.000000000 +0200
@@ -6,7 +6,7 @@
   final static Button b = new Button("Hallo, Welt!");
 
   public static void main(String[] args){
-   f.setSize(400.200);
+   f.setSize(400,200);
    f.add(b);
    f.setVisible(true);
   }