Property definitions

java $ NativeFileOutputStream :: write
	fun write(one_byte: Int) in "Java" `{
		try {
			self.write((byte)one_byte);
		}catch(IOException e){
			e.printStackTrace();
		}
	`}
lib/java/io.nit:123,2--129,3