Index: batch/org/eclipse/jdt/internal/compiler/batch/Main.java
===================================================================
RCS file: /home/eclipse/org.eclipse.jdt.core/batch/org/eclipse/jdt/internal/compiler/batch/Main.java,v
retrieving revision 1.204
diff -u -r1.204 Main.java
--- batch/org/eclipse/jdt/internal/compiler/batch/Main.java	10 Aug 2005 18:09:44 -0000	1.204
+++ batch/org/eclipse/jdt/internal/compiler/batch/Main.java	21 Aug 2005 06:43:18 -0000
@@ -890,9 +890,11 @@
 						this.printTag(COMPILER, parameters, true, false);
 					} else {
 						this.log.println("# " + dateFormat.format(date));//$NON-NLS-1$
+						logVersion();
 					}
 				} else {
 					this.log.println("# " + dateFormat.format(date));//$NON-NLS-1$
+					logVersion();
 				}
 			} catch (FileNotFoundException e) {
 				throw new InvalidInputException(Main.bind("configure.cannotOpenLog")); //$NON-NLS-1$