title: github.com indents our code strangely
body: <p><a href="https://github.com/coderodde/finalib/blob/master/src/main/java/fi/helsinki/finalib/SimplificationAlgorithm.java" rel="nofollow">This is where github.com is doing bad indentation</a></p>
  
  <p>How can we fix this? (Code was written on NetBeans 7.2.)</p>