# HG changeset patch
# User Mark Wielaard <mark@klomp.org>
# Date 1299423858 -3600
# Node ID 347e3fb76105ce7308e785be86ce66d2b8f36724
# Parent  9c7ab60f900577369670703673eb1fab5af1a9ae
Adjust World.java indentation (GNU style of course).

diff -r 9c7ab60f9005 -r 347e3fb76105 World.java
--- a/World.java	Sun Mar 06 01:37:21 2011 +0100
+++ b/World.java	Sun Mar 06 16:04:18 2011 +0100
@@ -14,32 +14,34 @@
     System.out.println ("vendor: " + System.getProperty("java.vm.vendor"));
     System.out.println ("os: " + System.getProperty("os.name"));
 
-FileFilter ff=new FileFilter() {
-
-           int x;
-           int y;
+    FileFilter ff = new FileFilter()
+    {
+      int x;
+      int y;
            
-            public boolean accept(File pathname) {
-//and here?
-//or here?
-                return  (pathname.getName().toUpperCase().endsWith(".JAVA"));
-/*and what about
-...
-..
-?*/
-            }
+      public boolean accept(File pathname)
+      {
+        // and here?
+        // or here?
+        return  (pathname.getName().toUpperCase().endsWith(".JAVA"));
+        /* and what about
+           ...
+           ..
+           ?*/
+      }
 
-int a;
-int b;
-int c;
+      int a;
+      int b;
+      int c;
 
-public void ahoj(){
-a=b+c;
-c=a-b;
-}
-};
+      public void ahoj()
+      {
+        a=b+c;
+        c=a-b;
+      }
+    };
 
-ff.accept(new File("dfds fds"));
+    ff.accept(new File("dfds fds"));
     System.out.println ("arch: " + System.getProperty("os.arch"));
   }
 }