notes here
fix for CoqJavaProject, but I've the feeling that code has its days
introduce a JavaToCoreJava
move the visitor to a more generic place - and wrap with a trait
some more work in here