file = new File("/home/a/apps/versions/jedit/plugins/RubyPlugin/ri/java", name);
file = new File("/home/b/apps/versions/jedit/4.2/plugins/RubyPlugin/ri/java", name);
    private void encode(ClassDescription result, File file) {        String name = file.getName();        int end = name.indexOf(".xml");        name = name.substring(0, end) + ".dat";        System.out.println(name);        file = new File("/home/a/apps/versions/jedit/plugins/RubyPlugin/ri/java", name);        try {            ObjectOutputStream output = new ObjectOutputStream(new FileOutputStream(file));            output.writeObject(result);            output.close();        } catch (IOException e) {            e.printStackTrace();        }    }