Property definitions

nitc $ JavaFile :: defaultinit
# A generated Java source file, represent the corresponding Makefile rules
class JavaFile
	super ExternFile

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

	redef fun makefile_rule_name do return full_name.replace(".", "/") + ".class"
	redef fun makefile_rule_content do return "javac {filename} -d ."
	redef fun add_to_jar do return true
end
src/ffi/java.nit:424,1--434,3