Runtime name

Property definitions

	# Runtime name
	private fun rt_name: String do
		return "RTMethod_{mclassdef.mmodule.jname}_{mclassdef.mclass.jname}_{mproperty.jname}"
	end

src/compiler/java_compiler.nit:1402,2--1405,4