{"shas":[["1fabe0be8ad1db2b362e93c95da8aa36b8e7feb3","55601316f2224154037977d2f7a2b620a60aa91a@gmail.com","Configure script added","Richard Jonas"],["d3302c4593917d420c62855b7c3dcee3cf718660","55601316f2224154037977d2f7a2b620a60aa91a@gmail.com","Clicking on the frame node plugin opens the corresponding source type in java editor","Richard Jonas"]],"ref":"refs/heads/master","size":2,"head":"d3302c4593917d420c62855b7c3dcee3cf718660","push_id":32253220}