/**
* Returns this filename, as passed to the constructor. Limitation: if the original filename was
* "a.", the returned value will be "a".
*/
public String getFilename() {
return RESULT.getFilename();
}
/**
* Returns this filename, as passed to the constructor. Limitation: if the original filename was
* "a.", the returned value will be "a".
*/
public String getFilename() {
return RESULT.getFilename();
}
