[java] How to get the filename without the extension in Java?