Java with information Flows, output to screen
<p>I know that the audience of <a href="http://www.cs.cornell.edu/jif/" rel="nofollow">JIF</a> is very small in numbers, but that's that Stack Overflow is for.
My question has to do with if anyone has a snipset with which I can declassify a String and send it as output to screen.
Example:</p>

<pre><code>String data{Alice:} = "123";

output.println("this is it" + data);
</code></pre>

<p><strike>note: more appropriate tag would be JIF, but I can not add tags yet.</strike></p>
