jjpe/Cookie — pull request #19 by VolkerL (2013-08-30 01:32:21+00:00)
Title: Fold

We now have proper folding.

Not much to say about that... other than that it's awesome ;)

Also, when selecting the `Regular java` dropdown, the cookie file is removed so the file really turns into a regular java file.