On 07/21/2013 03:59, Ronald Klop wrote: > > Maybe openjdk7 was already installed there. Yes, openjdk may have been forcibly updated to 7 there, not sure. But the default 6 version fails to build, this is an issue. Yuri