Andrea,
Jamison
and Per, Felipe ...

> sudo update-java-alternatives -s java-1.7.0-openjdk-amd64

That failed, but your message and Jamison's message got me curious about my config,
and decided to dig into, so it may benefit to others:

a)	rm-rf  ~/.java and any config file listing java in the name or the
	content, that did solved, but wanted to be sure;

b)	I purged all sun*6* and anything that would not be openjdk-7 based

c)	I added openjdk-7-jre:amd64 and openjdk-7-jre-lib [because I removed the
	sun* based ones, would have done that before, just did not know still had
	these...

d)	I manually verified all entries in galternatives, and _after_ the
	above, they all pointed to /usr/lib/java-7-openjdk-amd64...

	except javaws, which I changed manually

	I can't find from which package that javaws comes from, I could deleted it,
	but I manually changed the link [in galternatives I mean]

Then it compiles fine, good!

I have a doc report, not important but I like to browse the doc locally

Many thanks,
Cheers,
David

;; --

david@capac:/usr/local/src/kawa/svn 16 $ make install-html
mkdir $HOME/Kawa/api
mkdir: cannot create directory ‘/home/david/Kawa/api’: No such file or directory
Makefile:992: recipe for target 'install-javadoc-html' failed
make: [install-javadoc-html] Error 1 (ignored)
#rm `/usr/bin/find $HOME/Kawa/api/ -name CVS -prune -o '(' '!' -type d ')' -print`
rm `/usr/bin/find $HOME/Kawa/api/ -name '*.html'`
/usr/bin/find: `/home/david/Kawa/api/': No such file or directory
rm: missing operand
Try 'rm --help' for more information.
Makefile:992: recipe for target 'install-javadoc-html' failed
make: [install-javadoc-html] Error 1 (ignored)
CLASSPATH=/opt/eclipse/plugins/org.eclipse.jface_3.1.0.jar:/opt/eclipse/plugins/org.eclipse.swt.gtk.linux.x86_3.1.0.jar:/opt/eclipse/plugins/org.apache.ant_1.6.5/lib/ant.jar:$CLASSPATH \
javadoc -use -sourcepath .:. -d $HOME/Kawa/api gnu.bytecode gnu.ecmascript gnu.expr gnu.mapping gnu.math gnu.text gnu.lists gnu.xml gnu.kawa.reflect gnu.kawa.util gnu.kawa.lispexpr gnu.kawa.functions gnu.kawa.servlet gnu.kawa.ant kawa kawa.lang kawa.standard kawa.lib gnu.kawa.xml gnu.xquery.lang gnu.xquery.util gnu.brl gnu.kawa.brl gnu.kawa.xslt gnu.kawa.sax gnu.commonlisp.lang gnu.q2.lang gnu.kawa.models gnu.kawa.swingviews gnu.kawa.swtviews gnu.kawa.echo2 gnu.jemacs.lang gnu.jemacs.buffer gnu.jemacs.swing gnu.jemacs.swt gnu.kawa.android gnu.kawa.javafx
Creating destination directory: "/home/david/Kawa/api/"
Loading source files for package gnu.bytecode...
Loading source files for package gnu.ecmascript...
...
...
Loading source files for package gnu.jemacs.swt...
./gnu/jemacs/swt/LineOffsets.java:75: error: ';' expected
    addSpace(index, 1)
                      ^
Loading source files for package gnu.kawa.android...
javadoc: warning - No source files for package gnu.kawa.android
Loading source files for package gnu.kawa.javafx...
javadoc: warning - No source files for package gnu.kawa.javafx
1 error
2 warnings
Makefile:992: recipe for target 'install-javadoc-html' failed
make: *** [install-javadoc-html] Error 1
david@capac:/usr/local/src/kawa/svn 17 $