I've been able to solve the problem. I hope the following helps somebody else:
1. Get Sharpen from https://github.com/slluis/sharpen/ <https://github.com/slluis/sharpen/> ; 2. Open sharpen.core in Eclipse; 3. Go to JavaProject.JavaProject(String projectName); 4. Add the following below setJavaNature(); : Map options = _javaProject.getOptions(false); options.put(JavaCore.COMPILER_SOURCE, JavaCore.VERSION_1_6); _javaProject.setOptions(options); 5. Build the project; 6. Export it to a JAR and copy that JAR to {Eclipse_root}/plugins; 7. Follow the instructions at http://web.archive.org/web/20130601031709/http://www.pauldb.me/post/14916717048/a-guide-to-sharpen-a-great-tool-for-converting-java <http://web.archive.org/web/20130601031709/http://www.pauldb.me/post/14916717048/a-guide-to-sharpen-a-great-tool-for-converting-java> except the initial part of obtaining the Sharpen JAR. -- View this message in context: http://mono.1490590.n4.nabble.com/Sharpen-errors-tp4662850p4662861.html Sent from the Mono - General mailing list archive at Nabble.com. _______________________________________________ Mono-list maillist - [email protected] http://lists.ximian.com/mailman/listinfo/mono-list
