/** Copyright 20xx Neil Edelman, distributed under the terms of the GNU General
 Public License, see copying.txt */

import java.lang.String;

/** Java.
 <p>
 More {@link url}.
 
 @author	Neil
 @version	1.0, 20yy-mm
 @since		1.0, 20yy-mm */
class Java {
	int var;

	/** Constructor.
	@param ex Something. */
	public Java(final String ex) {
		this.var = 7;
	}

	/** Javadocs {@link URL}.
	 <p>
	 More.
	 
	 @param p			Thing.
	 @return			Thing.
	 @throws Exception	Thing.
	 @see				package.Class#method(Type)
	 @see				#field
	 @since				1.0
	 @deprecated		Ohnoz. */

	/** @return A synecdochical {@link String}. */
	public String toString() {
		return "Hi";
	}

}