java doc info header + steffens listener