마크다운 렌더러에서 어쩔 수 없이 Thread.stop() 사용함

Markdown.java

// Try to render and wait at most 5 seconds.
final String[] rendered = new String[1];  
@SuppressWarnings("deprecation")
Thread marked = new Thread() {  
    @Override
    public void run() {
        try {
            rendered[0] = (String) ((Invocable) engine).invokeFunction(
                    "marked", source, options);
        } catch (Exception e) {
            play.Logger.error("[Markdown] Failed to render: " + source, e);
        }
    }
};
marked.start();  
marked.join(5000);

if (rendered[0] == null) {  
    // This is the only way to stop the script engine. Thread.interrupt does not work.
    marked.stop();
    return "〈pre〉" + StringEscapeUtils.escapeHtml(source) + "〈/pre〉";
} else {
    return rendered[0];
}