# User supplied Java file to include with the app for use from the FFI
class ExtraJavaFile
	super JavaFile

	autoinit full_name, src_path

	redef var full_name

	# Path to the original user file
	var src_path: String

	redef fun filename do return full_name.replace(".", "/") + ".java"
end