added changes that were introduced to ShrikeCFG.java.  Added these changes to DexCFG.java
Previously entryState.push(symbolTable.newSymbol()) was commented out in previous versions of SSABuilder, however it seems that it iss necessary to include it if we have an entrypoint that is static and has an empty prototype.  Otherwise we do not get past the Killall dataflowsolver does not get past the entry block.  Uncommented this line and reintroduced the stack code in AbstractIntRegisterMachine.java.  It may be possible to do away with the clone and own situation by extending AbstractIntStackMachine...  will look into it at later date.  Regression tests seem to work fine with the meetstack code reintroduced into the analysis.
removed some begin and end brackets
I unfortunately nuked the changes Aaron added a week ago, so reverting this file back with code that works with the current files
Added another flow to InvokeCallArgTest.invokeCallArgSourceSpec()Ljava/lang/String; which seems to occur when we taint static fields