org.eclipse.jdt.debug/plugin.properties - jdt/eclipse.jdt.debug - Git at Google

 #########################################
 # (c) Copyright IBM Corp. 2000, 2001.
 # All Rights Reserved.
 #########################################

 pluginName=JDI Debug Model
 hcrBuilderName=Hot code replace builder
	#########################################
	# (c) Copyright IBM Corp. 2000, 2001.
	# All Rights Reserved.
	#########################################

	pluginName=JDI Debug Model
	hcrBuilderName=Hot code replace builder