Full Java class name: package and class

Property definitions

	# Full Java class name: package and class
	fun full_name: String do return filename.basename(".java")

src/ffi/java.nit:428,2--429,59

	redef var full_name

src/ffi/extra_java_files.nit:116,2--20