public static String replace_extension(String input, String extension) {
int dot = input.lastIndexOf(".");
if (dot > 0)
input = input.substring(0,dot);
return input.concat(extension);
}
public static String replace_extension(String input, String extension) {
int dot = input.lastIndexOf(".");
if (dot > 0)
input = input.substring(0,dot);
return input.concat(extension);
}