Strings.get("replaceExtensionKeepOpt")
};
JOptionPane dlog = new JOptionPane(msg);
dlog.setMessageType(JOptionPane.QUESTION_MESSAGE);
dlog.setOptions(options);
dlog.createDialog(proj.getFrame(), ttl).setVisible(true);
Object result = dlog.getValue();
if (result == options[0]) {
String name = old.substring(0, ext0) + circExt;
f = new File(f.getParentFile(), name);