K 10 svn:author V 6 gerald K 8 svn:date V 27 2013-04-20T15:36:33.785825Z K 7 svn:log V 87 Remove unnecessary MAN3 settings in the case of Java being enabled. Feature safe: yes END