polymake/polymake — pull request #1 by matsen (2014-05-31 23:49:03+00:00)
Title: Use UTF8 encoding for javac

These modifications were required for building in a http://docker.io/ container.