00001: class Test3
00002: {
00003:   public static void main (String[] args)
00004:     throws E1
00005:   {
00006:     try {
00007:       double failureProbability = Double.parseDouble (args[0]);
00008:       if (Math.random () < failureProbability) {
00009:         throw new E1 ();
00010:       }
00011:     } finally {
00012:       System.out.println ("Executed finally block");
00013:     }
00014:   }
00015: }
00016: