29 jshell.err.opt.arg = Argument to {0} missing. 30 jshell.err.opt.invalid = Invalid options: {0}. 31 jshell.err.opt.one = Only one {0} option may be used. 32 jshell.err.opt.startup.conflict = Conflicting options: both --startup and --no-startup were used. 33 jshell.err.opt.feedback.one = Only one feedback option (--feedback, -q, -s, or -v) may be used. 34 jshell.err.opt.unknown = Unknown option: {0} 35 36 jshell.msg.terminated = State engine terminated. 37 jshell.msg.terminated.restore = Restore definitions with: /reload -restore 38 39 jshell.msg.use.one.of = Use one of: {0} 40 jshell.msg.see.classes.etc = See /types, /methods, /vars, or /list 41 jshell.err.arg = Invalid ''{0}'' argument: {1} 42 jshell.msg.see = See {0} for help. 43 44 jshell.err.file.not.accessible = File ''{1}'' for ''{0}'' is not accessible: {2} 45 jshell.err.file.not.found = File ''{1}'' for ''{0}'' is not found. 46 jshell.err.file.exception = File ''{1}'' for ''{0}'' threw exception: {2} 47 jshell.err.file.filename = ''{0}'' requires a filename argument. 48 49 jshell.err.startup.unexpected.exception = Unexpected exception reading startup: {0} 50 jshell.err.unexpected.exception = Unexpected exception: {0} 51 52 jshell.err.invalid.command = Invalid command: {0} 53 jshell.err.command.ambiguous = Command: ''{0}'' is ambiguous: {1} 54 jshell.msg.set.restore = Setting new options and restoring state. 55 jshell.msg.set.editor.set = Editor set to: {0} 56 jshell.msg.set.editor.retain = Editor setting retained: {0} 57 jshell.err.no.builtin.editor = Built-in editor not available. 58 jshell.err.cant.launch.editor = Cannot launch built-in editor -- unexpected exception: {0} 59 jshell.msg.try.set.editor = See ''/help /set editor'' to use external editor. 60 jshell.msg.press.return.to.leave.edit.mode = Press return to leave edit mode. 61 jshell.err.wait.applies.to.external.editor = -wait applies to external editors 62 jshell.label.editpad = JShell Edit Pad 63 64 jshell.err.setting.to.retain.must.be.specified = The setting to retain must be specified -- {0} 65 jshell.msg.set.show.mode.settings = \nTo show mode settings use ''/set prompt'', ''/set truncation'', ...\n\ 66 or use ''/set mode'' followed by the feedback mode name. 67 jshell.err.continuation.prompt.required = Continuation prompt required -- {0} 68 | 29 jshell.err.opt.arg = Argument to {0} missing. 30 jshell.err.opt.invalid = Invalid options: {0}. 31 jshell.err.opt.one = Only one {0} option may be used. 32 jshell.err.opt.startup.conflict = Conflicting options: both --startup and --no-startup were used. 33 jshell.err.opt.feedback.one = Only one feedback option (--feedback, -q, -s, or -v) may be used. 34 jshell.err.opt.unknown = Unknown option: {0} 35 36 jshell.msg.terminated = State engine terminated. 37 jshell.msg.terminated.restore = Restore definitions with: /reload -restore 38 39 jshell.msg.use.one.of = Use one of: {0} 40 jshell.msg.see.classes.etc = See /types, /methods, /vars, or /list 41 jshell.err.arg = Invalid ''{0}'' argument: {1} 42 jshell.msg.see = See {0} for help. 43 44 jshell.err.file.not.accessible = File ''{1}'' for ''{0}'' is not accessible: {2} 45 jshell.err.file.not.found = File ''{1}'' for ''{0}'' is not found. 46 jshell.err.file.exception = File ''{1}'' for ''{0}'' threw exception: {2} 47 jshell.err.file.filename = ''{0}'' requires a filename argument. 48 49 jshell.err.url.not.accessible = Request on URL ''{1}'' for ''{0}'' failed with code ''{2}'' 50 jshell.err.url.exception = URL ''{1}'' for ''{0}'' threw exception: {2} 51 52 jshell.err.startup.unexpected.exception = Unexpected exception reading startup: {0} 53 jshell.err.unexpected.exception = Unexpected exception: {0} 54 55 jshell.err.invalid.command = Invalid command: {0} 56 jshell.err.command.ambiguous = Command: ''{0}'' is ambiguous: {1} 57 jshell.msg.set.restore = Setting new options and restoring state. 58 jshell.msg.set.editor.set = Editor set to: {0} 59 jshell.msg.set.editor.retain = Editor setting retained: {0} 60 jshell.err.no.builtin.editor = Built-in editor not available. 61 jshell.err.cant.launch.editor = Cannot launch built-in editor -- unexpected exception: {0} 62 jshell.msg.try.set.editor = See ''/help /set editor'' to use external editor. 63 jshell.msg.press.return.to.leave.edit.mode = Press return to leave edit mode. 64 jshell.err.wait.applies.to.external.editor = -wait applies to external editors 65 jshell.label.editpad = JShell Edit Pad 66 67 jshell.err.setting.to.retain.must.be.specified = The setting to retain must be specified -- {0} 68 jshell.msg.set.show.mode.settings = \nTo show mode settings use ''/set prompt'', ''/set truncation'', ...\n\ 69 or use ''/set mode'' followed by the feedback mode name. 70 jshell.err.continuation.prompt.required = Continuation prompt required -- {0} 71 |