Print_File_Name

open fun Print_File_Name(Java_File_Name: String)

Print filename.

Parameters

Java_File_Name

the java filename