public class UnknownError extends VirtualMachineError { // Public Constructors public UnknownError( ); public UnknownError(String s); }