done with java implementation

Just submitted the final java code for categories; will have to write the next chapter, colimits, before moving on to Scala. If someone says Haskell is stronger, I doubt so, lambda-cube-wise.