Fix source generation under Java 1.6.