fix more bugs in navigation from Java to Ceylon